How to extend the dialogical approach to provability logic
Synthese 127 (1-2):95 - 103 (2001)
| 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 | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesSahid Rahman & Walter A. Carnielli (2000). The Dialogical Approach to Paraconsistency. Synthese 125 (1-2):201-232.
Lev Dmitrievich Beklemishev (1999). Provability, Complexity, Grammars. American Mathematical Society.
Albert Visser (1981). A Propositional Logic with Explicit Fixed Points. Studia Logica 40 (2):155 - 175.
George Boolos (1979). The Unprovability of Consistency: An Essay in Modal Logic. Cambridge University Press.
Giovanni Sambin & Silvio Valentini (1982). The Modal Logic of Provability. The Sequential Approach. Journal of Philosophical Logic 11 (3):311 - 342.
Sergei N. Artemov (2001). Explicit Provability and Constructive Semantics. Bulletin of Symbolic Logic 7 (1):1-36.
Patrick Blackburn (2001). Modal Logic as Dialogical Logic. Synthese 127 (1-2):57 - 93.
Konstantin N. Ignatiev (1993). On Strong Provability Predicates and the Associated Modal Logics. Journal of Symbolic Logic 58 (1):249-290.
Paul Égré (2005). The Knower Paradox in the Light of Provability Interpretations of Modal Logic. Journal of Logic, Language and Information 14 (1).
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads3 ( #202,056 of 549,196 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
