Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics.

Marta Cialdea Mayer Serenella Cerrito

Published in: Stud Logica (2001)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
classical logic
nonmonotonic logics
epistemic logic
situation calculus
theorem proving
conditional logic
autoepistemic logic
sufficient conditions