Skip to main content

How To Extend The Dialogical Approach To Provability Logic


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.


  1. Boolos, G.: 1979, The Unprovability of Consistency–An Essay in Modal Logic, Cambridge University Press, Cambridge.

    Google Scholar 

  2. Rahman, S. and Rückert, H.: 1999, ‘Dialogische Modallogik (für T, B, S4 und S5)’, to appear in Logique et Analyse.

  3. Solovay, R.: 1976, ‘Provability Interpretations of Modal Logic’, Israel Journal of Mathematics 25, 287-304.

    Google Scholar 

Download references

Author information



Rights and permissions

Reprints and Permissions

About this article

Cite this article

Nortmann, U. How To Extend The Dialogical Approach To Provability Logic. Synthese 127, 95–103 (2001).

Download citation


  • Modal System
  • Propositional Logic
  • Core Idea
  • Dialogical Approach
  • Provability Logic