Modal logic and the polynomial hierarchy: from QBFs to K and back.

Anupam Das Sonia Marin

Published in: AiML (2022)

Keyphrases

modal logic
polynomial hierarchy
decision procedures
temporal logic
inference rules
dnf formulas
answer sets
situation calculus
nonmonotonic logics
classical logic
dl lite
default logic
phase transition
prime implicates
model checking
autoepistemic logic
modal operators
expressive power