Modal Logics are Coalgebraic.

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

Published in: BCS Int. Acad. Conf. (2008)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
epistemic logic
conditional logic
default logic
classical logic
model checking
autoepistemic logic
situation calculus
dynamic logic
bayesian networks