Elementary Modal Logics over Transitive Structures.

Jakub Michaliszyn Jan Otop

Published in: CSL (2013)

Keyphrases

modal logic
decision procedures
temporal logic
nonmonotonic logics
inference rules
epistemic logic
situation calculus
expert systems
knowledge representation
model checking
classical logic
set theory
dynamic logic