Logics for Bisimulation and Divergence.

Xinxin Liu Tingting Yu Wenhui Zhang

Published in: FoSSaCS (2018)

Keyphrases

expressive power
modal logic
inference rules
nonmonotonic logics
propositional calculus
data sets
relative entropy
epistemic logic
propositional dynamic logic
neural network
multiscale
multi agent systems
equivalence relation
proof theory
proof procedures