Torben Braüner

Analytic Proof-Theory for Prior’s System Q: First Steps

2025 · Logic and Philosophy of Time

Arthur Prior introduced the three-valued modal logic called the Q system. A few axiom systems for the Q system can be found in the literature, but no analytic proof-theory in the form of tableau-, sequent- …