Lattices of Modal Logics and Their Groups of Automorphisms.

Published in: Ann. Pure Appl. Log. (1999)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
default logic
nonmonotonic logics
epistemic logic
classical logic
situation calculus
conditional logic
dynamic logic
sequent calculus
computational complexity
first order logic
default theories
multi faceted