Modal Logics are Coalgebraic.

Corina Cîrstea Alexander Kurz Dirk Pattinson Lutz Schröder Yde Venema

Published in: Comput. J. (2011)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
conditional logic
epistemic logic
classical logic
situation calculus
default logic
sequent calculus
nonmonotonic logics
model checking
search algorithm
dynamic logic
bayesian networks
database systems
database