Self-extensional Paradefinite Four-valued Modal Logic Compatible with Standard Modal Logic.

Norihiro Kamide

Published in: ISMVL (2023)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
epistemic logic
conditional logic
situation calculus
classical logic
default logic
nonmonotonic logics