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.
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