Simulations and Bisimulations For Coalgebraic Modal Logics

Daniel Gorín Lutz Schröder

Published in: CoRR (2013)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
conditional logic
nonmonotonic logics
classical logic
epistemic logic
default logic
dynamic logic
autoepistemic logic
theorem proving
bayesian networks
model checking
nonmonotonic reasoning