4 papers
A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic
Paul Wild, Lutz Schröder, Dirk Pattinson +1
The fuzzy modality `probably` is interpreted over probabilistic type spaces by taking expected truth values. The arising probabilistic fuzzy description logic is invariant under pr…
A van Benthem Theorem for Quantitative Probabilistic Modal Logic
Paul Wild, Lutz Schröder, Dirk Pattinson +1
In probabilistic transition systems, behavioural metrics provide a more fine-grained and stable measure of system equivalence than crisp notions of bisimilarity. They correlate str…
A van Benthem Theorem for Fuzzy Modal Logic
Paul Wild, Lutz Schröder, Dirk Pattinson +1
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.…
A Characterization Theorem for a Modal Description Logic
Paul Wild, Lutz Schröder
Modal description logics feature modalities that capture dependence of knowledge on parameters such as time, place, or the information state of agents. E.g., the logic S5-ALC combi…