On the succinctness of some modal logics.

Tim French Wiebe van der Hoek Petar Iliev Barteld P. Kooi

Published in: Artif. Intell. (2013)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
classical logic
default logic
epistemic logic
dynamic logic
conditional logic
situation calculus
autoepistemic logic
np hard
database systems