Synthetic completeness proofs for Seligman-style tableau systems

Klaus Frovin Jørgensen, Patrick Blackburn, Thomas Bolander, Torben Braüner. Synthetic completeness proofs for Seligman-style tableau systems. In Lev D. Beklemishev, Stéphane Demri, András Maté, editors, Advances in Modal Logic 11, proceedings of the 11th conference on "Advances in Modal Logic," held in Budapest, Hungary, August 30 - September 2, 2016. pages 302-321, College Publications, 2016. [doi]

No reviews for this publication, yet.