Login / Signup
Modal Logics That Need Very Large Frames.
Marcus Kracht
Published in:
Notre Dame J. Formal Log. (1999)
Keyphrases
</>
modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
classical logic
epistemic logic
default logic
video frames
situation calculus
model checking
frame rate
kripke models
search algorithm
conjunctive queries
key frames
moving objects
dynamic logic
reinforcement learning