Abstract modal logics.

Published in: Stud Logica (1995)

Keyphrases

modal logic
decision procedures
inference rules
temporal logic
nonmonotonic logics
epistemic logic
classical logic
conditional logic
default logic
situation calculus
high level
artificial intelligence
nonmonotonic reasoning
data exchange
model checking
sufficient conditions
dynamic logic