Analytic Tableaux for Finite and Infinite Post Logics.

Nicolas Zabel

Browse the full MFCS paper archive.