Login / Signup
Matching Topological and Frame Products of Modal Logics.
Philip Kremer
Published in:
Stud Logica (2016)
Keyphrases
</>
modal logic
inference rules
decision procedures
temporal logic
matching process
nonmonotonic logics
matching algorithm
classical logic
situation calculus
epistemic logic
video frames
keypoints
default logic
reinforcement learning
video sequences
feature points