| ||||
| ||||
![]() Title:A van Benthem Theorem for Fuzzy Modal Logic Conference:LICS18 Tags:Behavioural metrics, Correspondence theory, Description logic, Fuzzy logic and Modal logic 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 logic along with its modal fragment, and show that the first-order formulas that are non-expansive w.r.t. the natural notion of bisimulation distance are exactly those that can be approximated by modal formulas. A van Benthem Theorem for Fuzzy Modal Logic ![]() A van Benthem Theorem for Fuzzy Modal Logic | ||||
Copyright © 2002 – 2025 EasyChair |