Non-finitely axiomatisable two-dimensional modal logics.

Agi Kurucz Sérgio Marcelino

Published in: J. Symb. Log. (2012)

Keyphrases

modal logic
decision procedures
temporal logic
three dimensional
inference rules
nonmonotonic logics
epistemic logic
classical logic
finite number
inductive inference
default logic
situation calculus
conditional logic
knowledge base
autoepistemic logic
model checking
dynamic logic