Modal Logics of Reactive Frames.

Dov M. Gabbay Sérgio Marcelino

Published in: Stud Logica (2009)

Keyphrases

modal logic
kripke models
temporal logic
decision procedures
inference rules
epistemic logic
nonmonotonic logics
default logic
classical logic
video frames
situation calculus
autoepistemic logic
moving objects
agent architecture
bayesian networks
default reasoning
knowledge representation
modal operators