@inproceedings{34d5bc3f7f1847e394ecd422cf652217,
title = "A van benthem theorem for fuzzy 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 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.",
keywords = "Behavioural metrics, Correspondence theory, Description logics, Fuzzy modal logic, Modal characterization theorems",
author = "Paul Wild and Lutz Schr{\"o}der and Dirk Pattinson and Barbara K{\"o}nig",
note = "Publisher Copyright: {\textcopyright} 2018 ACM.; 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018 ; Conference date: 09-07-2018 Through 12-07-2018",
year = "2018",
month = jul,
day = "9",
doi = "10.1145/3209108.3209180",
language = "English",
series = "Proceedings - Symposium on Logic in Computer Science",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "909--918",
booktitle = "Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018",
address = "United States",
}