Simulations and Bisimulations for Coalgebraic Modal Logics.

Daniel Gorín Lutz Schröder

Published in: CALCO (2013)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
epistemic logic
nonmonotonic logics
classical logic
conditional logic
situation calculus
machine learning
dynamic logic
autoepistemic logic
default logic
search algorithm
multi agent systems
cooperative
bayesian networks