On the relative succinctness of modal logics with union, intersection and quantification.

Wiebe van der Hoek Petar Iliev

Published in: AAMAS (2014)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
epistemic logic
classical logic
dynamic logic
situation calculus
default logic
conditional logic
model checking