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