Labelled Modal Logics: Quantifiers.

David A. Basin Seán Matthews Luca Viganò

Published in: J. Log. Lang. Inf. (1998)

Keyphrases

modal logic
inference rules
decision procedures
temporal logic
epistemic logic
classical logic
conditional logic
first order logic
natural language
nonmonotonic logics
default logic
model checking
situation calculus
dynamic logic
state space
special case
data model
expert systems
machine learning