Frames for fusions of modal logics.

Published in: J. Appl. Non Class. Logics (2018)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
epistemic logic
frame rate
moving objects
default logic
classical logic
video sequences
query language
model checking
model checker
modal operators