18 citations · 67 across the 31 of their papers we have counts for
4 papers · 1 filter
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…
Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks
Benjamin Cabrera, Tobias Heindel, Reiko Heckel +1
The paper extends Bayesian networks (BNs) by a mechanism for dynamic changes to the probability distributions represented by BNs. One application scenario is the process of knowled…
Up-To Techniques for Behavioural Metrics via Fibrations
Filippo Bonchi, Barbara König, Daniela Petrisan
Up-to techniques are a well-known method for enhancing coinductive proofs of behavioural equivalences. We introduce up-to techniques for behavioural metrics between systems modelle…
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.…