Repository | Journal | Volume | Articles
(2001) Synthese 127 (1-2).
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.
Publication details
Full citation:
Nortmann, U. (2001). How to extend the dialogical approach to provability logic. Synthese 127 (1-2), pp. 95-103.
This document is unfortunately not available for download at the moment.