On Quantified Modal Logic.

Published in: Fundam. Informaticae (1999)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
epistemic logic
situation calculus
classical logic
nonmonotonic logics
universally quantified
conditional logic
default logic
cooperative
dynamic logic
description logic alc
relational databases
probability distribution