Autoreferential semantics for many-valued modal logics.

Published in: J. Appl. Non Class. Logics (2008)

Keyphrases

modal logic
epistemic logic
nonmonotonic logics
conditional logic
dynamic logic
kripke models
modal operators
autoepistemic logic
decision procedures
temporal logic
inference rules
classical logic
model theoretic
default logic
formal semantics
situation calculus
truth values
satisfiability problem