Explorations

Future Paths of Phenomenology

1st OPHEN Summer Meeting

Repository | Journal | Volume | Article

237409

How to extend the dialogical approach to provability logic

Ulrich Nortmann

pp. 95-103

Abstract

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

Pages: 95-103

DOI: 10.1023/A:1010349800818

Full citation:

Nortmann Ulrich (2001) „How to extend the dialogical approach to provability logic“. Synthese 127 (1-2), 95–103.