How to extend the dialogical approach to provability logic

Synthese 127 (1-2):95 - 103 (2001)
  Copy   BIBTEX


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.



    Upload a copy of this work     Papers currently archived: 77,805

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles


Added to PP

36 (#331,460)

6 months
1 (#483,081)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Essay Review.[author unknown] - 2001 - History and Philosophy of Logic 22 (2):99-112.

Add more citations

References found in this work

The Unprovability of Consistency: An Essay in Modal Logic.George Boolos - 1979 - Cambridge, England: Cambridge University Press.
Provability Interpretations of Modal Logic.Robert M. Solovay - 1981 - Journal of Symbolic Logic 46 (3):661-662.
Dialogische Modallogik (für T, B, S4, und S5).Shahid Rahman & Helge Rückert - 1999 - Logique Et Analyse 167 (168):243-282.

Add more references