10 citations · 16 across the 17 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018
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…
cs.LO2018
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.…