Supervaluationism, Modal Logic, and Weakly Classical Logic.

Joshua Schechter

Published in: J. Philos. Log. (2024)

Keyphrases

modal logic
classical logic
temporal logic
inference rules
autoepistemic logic
epistemic logic
situation calculus
default logic
intuitionistic logic
possibilistic logic
nonmonotonic logics
prime implicates
default theories
valued logic
dynamic logic
general purpose
model checking