Labelled Tableaux for Non-normal Modal Logics.

Guido Governatori Alessandro Luppi

Published in: AI*IA (1999)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
default logic
classical logic
conditional logic
epistemic logic
nonmonotonic logics
situation calculus
description logics
autoepistemic logic
modal operators
sequent calculus