Login / Signup
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