A Dichotomy for Some Elementarily Generated Modal Logics.

Stanislav Kikot

Published in: Stud Logica (2015)

Keyphrases

modal logic
decision procedures
inference rules
temporal logic
nonmonotonic logics
epistemic logic
default logic
classical logic
model checking
dynamic logic
conditional logic
autoepistemic logic
query language