Repository | Zeitschrift | Band | Artikel
How to extend the dialogical approach to provability logic
pp. 95-103
Abstrakt
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
Published in:
(2001) Synthese 127 (1-2).
Seiten: 95-103
Referenz:
Nortmann Ulrich (2001) „How to extend the dialogical approach to provability logic“. Synthese 127 (1-2), 95–103.