Tableaux for Relation-Changing Modal Logics.

Carlos Areces Raul Fervari Guillaume Hoffmann

Published in: FroCos (2013)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
classical logic
dynamic logic
conditional logic
epistemic logic
situation calculus
default logic
autoepistemic logic
artificial intelligence
sufficient conditions