Labelled Quantified Modal Logics.

David A. Basin Seán Matthews Luca Viganò

Published in: KI (1997)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
nonmonotonic logics
conditional logic
default logic
situation calculus
autoepistemic logic
epistemic logic
dynamic logic
sequent calculus
modal operators
model checking
incomplete information
bayesian networks
artificial intelligence