Login / Signup
Kripke Completeness of strictly positive Modal Logics over Meet-Semilattices with operators.
Stanislav Kikot
Agi Kurucz
Yoshihito Tanaka
Frank Wolter
Michael Zakharyaschev
Published in:
J. Symb. Log. (2019)
Keyphrases
</>
modal logic
modal operators
temporal logic
inference rules
decision procedures
positive and negative
epistemic logic
classical logic
default logic
nonmonotonic logics
situation calculus
model checking
kripke models
autoepistemic logic
dynamic logic
morphological operators
integrity constraints
special case