Kripke Completeness of Strictly Positive Modal Logics Over Meet Semi-Lattices with Operators.

Stanislav Kikot

Published in: Advances in Modal Logic (2018)

Keyphrases

modal logic
modal operators
temporal logic
decision procedures
inference rules
default logic
positive and negative
epistemic logic
classical logic
model checking
situation calculus
default theories
morphological operators
data quality
special case
cooperative
autoepistemic logic
description logics