Tag: Journal of Philosophical Logic

  • Discussing “Proof Analysis in Modal Logic”

    Discussing “Proof Analysis in Modal Logic”

    Modal logics of necessity and possibility do not always obviously admit an acceptable notion of structural proof theory. Yet such systems can be invaluable for both work inside the logic (proof search) and work about a logic (metatheory). This paper looks at a general framework for defining sequent calculi for a wide range of classical…