Login / Signup
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