Login / Signup
Algebraic semantics of refinement modal logic.
Zeinab Bakhtiari
Hans van Ditmarsch
Sabine Frittella
Published in:
Advances in Modal Logic (2016)
Keyphrases
</>
modal logic
nonmonotonic logics
epistemic logic
conditional logic
dynamic logic
modal operators
temporal logic
inference rules
autoepistemic logic
decision procedures
kripke models
description logic alc
model theoretic
default logic
classical logic
situation calculus
algebraic structure
model checking
higher order
formal semantics
prime implicates
logic programming
default theories
artificial intelligence
sequent calculus
object oriented