A van Benthem theorem for fuzzy modal logic
Date
2018
Authors
Wild, Paul
Schroder, Lutz
Pattinson, Dirk
Konig, Barbara
Journal Title
Journal ISSN
Volume Title
Publisher
ACM
Abstract
We present a fuzzy (or quantitative) version of the van Benthem theorem, which characterizes propositional modal logic as the bisimulation-invariant fragment of first-order logic. Specifically, we consider a first-order fuzzy predicate logic along with its modal fragment, and show that the fuzzy first-order formulas that are non-expansive w.r.t. the natural notion of bisimulation distance are exactly those that can be approximated by fuzzy modal formulas.
Description
Keywords
Citation
Collections
Source
Proceedings of LICS ’18: 33rdAnnual ACM/IEEE Symposium on Logic in Computer Science
Type
Conference paper
Book Title
Entity type
Access Statement
License Rights
Restricted until
2037-12-31
Downloads
File
Description