Modal Logic with Bounded Quantification over Worlds.

Rogier M. van Eijk Frank S. de Boer Wiebe van der Hoek John-Jules Ch. Meyer

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

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
conditional logic
situation calculus
nonmonotonic logics
epistemic logic
dynamic logic
default logic
artificial intelligence
model checking
fixed point
autoepistemic logic
explanation based generalization