Classical term-modal logics.

Stef Frijters Frederik Van De Putte

Published in: J. Log. Comput. (2021)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
epistemic logic
classical logic
situation calculus
default logic
conditional logic
artificial intelligence
dynamic programming
conjunctive queries
modal operators