A van Benthem theorem for fuzzy modal logic
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.
|Collections||ANU Research Publications|
|Source:||Proceedings of LICS ’18: 33rdAnnual ACM/IEEE Symposium on Logic in Computer Science|
|01_Wild_A_van_Benthem_theorem_for_2018.pdf||678.08 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.