First Order Modal Logics with Generalized Intervals.

Published in: TIME (1996)

Keyphrases

modal logic
conditional logic
decision procedures
inference rules
temporal logic
nonmonotonic logics
epistemic logic
classical logic
higher order
situation calculus
first order logic
default logic
model theoretic
action theories
horn clauses
cooperative
dynamic logic
real numbers
modal operators
query language