Coalgebraic modal logic of finite rank.

Alexander Kurz Dirk Pattinson

Published in: Math. Struct. Comput. Sci. (2005)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
epistemic logic
classical logic
nonmonotonic logics
dynamic logic
situation calculus
conditional logic
artificial intelligence
prime implicates
finite number
default logic
autoepistemic logic
domain knowledge
machine learning
sequent calculus