Topological-Frame Products of Modal Logics.

Published in: Stud Logica (2018)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
epistemic logic
classical logic
situation calculus
default logic
dynamic logic
video frames
cooperative
modal operators
bayesian networks
logic programs
satisfiability problem