A Topography of Labelled Modal Logics.

David A. Basin Seán Matthews Luca Viganò

Published in: FroCoS (1996)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
conditional logic
classical logic
epistemic logic
situation calculus
default logic
dynamic logic
autoepistemic logic
theorem proving
multi agent systems
artificial intelligence
modal operators
database