New Directions in Duality Theory for Modal Logic.

Published in: Bull. Symb. Log. (2021)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
modal operators
nonmonotonic logics
default logic
classical logic
prime implicates
conditional logic
theoretical framework
situation calculus
dynamic logic
logical framework
epistemic logic
linear programming
model checking