How To Extend The Dialogical Approach To Provability Logic |
| |
Authors: | Nortmann Ulrich |
| |
Affiliation: | (1) Universität des Saarlandes, Postfach 151150, D-66041 Saarbrücken, Germany |
| |
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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|