Many-Valued Modal Logics: a Simple Approach.

Published in: Rev. Symb. Log. (2008)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
default logic
epistemic logic
cooperative
nonmonotonic logics
model checking
autoepistemic logic