On the Influence of Confluence in Modal Logics.

Olivier Gasquet

Published in: Fundam. Informaticae (2006)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
classical logic
epistemic logic
dynamic logic
situation calculus
sequent calculus
default logic
autoepistemic logic
modal operators
cooperative
xml documents