(Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras.

Barbara König Christina Mika-Michalski

Published in: CONCUR (2018)

Keyphrases

real valued
modal logic
temporal logic
decision procedures
inference rules
kripke models
nonmonotonic logics
epistemic logic
real valued data
complex valued
default logic
distributed representations
situation calculus
integer valued
metric space
multi agent systems
modal operators
sufficient conditions
pairwise