Toward a general frame semantics for modal many-valued logics.

Petr Cintula Ma. Paula Menchón Carles Noguera

Published in: Soft Comput. (2019)

Keyphrases

modal logic
nonmonotonic logics
epistemic logic
kripke models
temporal logic
conditional logic
modal operators
decision procedures
inference rules
closely related
dynamic logic
proof theory
propositional dynamic logic
special case
classical logic
knowledge base
situation calculus
model checking