Institutionalizing Coalgebraic Modal Logic.

Corina Cîrstea

Published in: CMCS (2002)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
epistemic logic
nonmonotonic logics
classical logic
conditional logic
prime implicates
default logic
autoepistemic logic
situation calculus
explanation based generalization
expert systems
modal operators
dynamic logic
integrity constraints
data model