On Strictly Positive Modal Logics with S4.3 Frames.

Stanislav Kikot Agi Kurucz Frank Wolter Michael Zakharyaschev

Published in: Advances in Modal Logic (2018)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
positive and negative
epistemic logic
classical logic
situation calculus
default logic
dynamic logic
video frames
key frames
autoepistemic logic
cooperative
bit rate
modal operators
knowledge base