The Modal Logics of Kripke-Feferman Truth.

Carlo Nicolai Johannes Stern

Published in: J. Symb. Log. (2021)

Keyphrases

modal logic
inference rules
temporal logic
truth values
decision procedures
classical logic
epistemic logic
default logic
kripke models
nonmonotonic logics
situation calculus
conditional logic
cooperative
multi agent
incomplete information
autoepistemic logic
dynamic programming
dynamic logic