Login / Signup
Kripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators.
Stanislav Kikot
Ágnes Kurucz
Yoshihito Tanaka
Frank Wolter
Michael Zakharyaschev
Published in:
CoRR (2017)
Keyphrases
</>
modal logic
modal operators
temporal logic
inference rules
decision procedures
positive and negative
nonmonotonic logics
epistemic logic
situation calculus
classical logic
default logic
special case
morphological operators
multi agent
model checking
data quality