Coalgebras and Modal Logic.

Martin Rößiger

Published in: CMCS (2000)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
classical logic
nonmonotonic logics
conditional logic
epistemic logic
default logic
situation calculus
description logic alc
prime implicates
autoepistemic logic
model checking
expert systems
explanation based generalization
database systems