On regular modal logics with axiom □ ⊤ → □□ ⊤.

Kazimierz Swirydowicz

Published in: Stud Logica (1990)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
epistemic logic
classical logic
situation calculus
conditional logic
dynamic logic
default logic
nonmonotonic logics
model checking