Max Scheler
Gesellschaft

Repository | Zeitschrift | Band | Artikel

237409

How to extend the dialogical approach to provability logic

Ulrich Nortmann

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

DOI: 10.1023/A:1010349800818

Referenz:

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