Term-Modal Logics.

Melvin Fitting Lars Thalmann Andrei Voronkov

Published in: TABLEAUX (2000)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
epistemic logic
classical logic
default logic
situation calculus
modal operators
conditional logic
dynamic logic
sequent calculus
machine learning
state space
natural language
cooperative
knowledge base