The core ideas of the dialogicalapproach to modal propositional logic are explainedby means of an elementary example. Subsequently,ways of extending this approach to the system G ofso-called provability logic are checked, therebyraising the question whether the dialogician is inneed of shaping his Nichtverzögerungsregel(non-delay-rule), in order to get it sufficiently precise,in different ways for different modal systems.
This is a preview of subscription content, access via your institution.
Buy single article
Instant access to the full article PDF.
Price includes VAT (USA)
Tax calculation will be finalised during checkout.
Boolos, G.: 1979, The Unprovability of Consistency–An Essay in Modal Logic, Cambridge University Press, Cambridge.
Rahman, S. and Rückert, H.: 1999, ‘Dialogische Modallogik (für T, B, S4 und S5)’, to appear in Logique et Analyse.
Solovay, R.: 1976, ‘Provability Interpretations of Modal Logic’, Israel Journal of Mathematics 25, 287-304.
About this article
Cite this article
Nortmann, U. How To Extend The Dialogical Approach To Provability Logic. Synthese 127, 95–103 (2001). https://doi.org/10.1023/A:1010349800818
- Modal System
- Propositional Logic
- Core Idea
- Dialogical Approach
- Provability Logic