The Relative Succinctness and Expressiveness of Modal Logics Can Be Arbitrarily Complex.

Henning Schnoor

Published in: CoRR (2014)

Keyphrases

modal logic
arbitrarily complex
temporal logic
inference rules
decision procedures
situation calculus
expressive power
classical logic
nonmonotonic logics
epistemic logic
conditional logic
default logic
dynamic logic