Skip navigation
Skip navigation

A van Benthem theorem for fuzzy modal logic

Wild, Paul; Schroder, Lutz; Pattinson, Dirk; Konig, Barbara

Description

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.

CollectionsANU Research Publications
Date published: 2018
Type: Conference paper
URI: http://hdl.handle.net/1885/165005
Source: Proceedings of LICS ’18: 33rdAnnual ACM/IEEE Symposium on Logic in Computer Science
DOI: 10.1145/3209108.3209180

Download

File Description SizeFormat Image
01_Wild_A_van_Benthem_theorem_for_2018.pdf678.08 kBAdobe PDF    Request a copy


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator