Term-Modal Logics.

Melvin Fitting Lars Thalmann Andrei Voronkov

Published in: Stud Logica (2001)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
epistemic logic
default logic
dynamic logic
situation calculus
classical logic
conditional logic
artificial intelligence
database systems
data model
model checking