Timo Lang

Latest

• Analytic Proofs for Tense Logic