Connected modal logics.

Guram Bezhanishvili David Gabelaia

Published in: Arch. Math. Log. (2011)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
nonmonotonic logics
epistemic logic
dynamic logic
sequent calculus
default logic
partial order
modal operators