Characteristic formulas over intermediate logics

Published in: CoRR (2012)

Keyphrases

expressive power
modal logic
modal operators
inference rules
case study
np complete
logical formulas
propositional calculus
lower bound
search space
query language
logic programs
horn clauses
classical logic
truth values
propositional dynamic logic