Dialogues, strategies, and intuitionistic provability

Annals of Pure and Applied Logic 28 (3):217-254 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(85)90016-8

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
Intuitionistic completeness for first order classical logic.Stefano Berardi - 1999 - Journal of Symbolic Logic 64 (1):304-312.
Arithmetical necessity, provability and intuitionistic logic.Rob Goldblatt - 1978 - Theoria 44 (1):38-46.
Temporal and atemporal truth in intuitionistic mathematics.Enrico Martino & Gabriele Usberti - 1994 - Topoi 13 (2):83-92.
On strong provability predicates and the associated modal logics.Konstantin N. Ignatiev - 1993 - Journal of Symbolic Logic 58 (1):249-290.
On an intuitionistic modal logic.G. M. Bierman & V. C. V. de Paiva - 2000 - Studia Logica 65 (3):383-416.
A modal calculus analogous to k4w, based on intuitionistic propositional logic, iℴ.Aldo Ursini - 1979 - Studia Logica 38 (3):297 - 311.
On an Intuitionistic Modal Logic.G. M. Bierman & V. C. V. De Paiva - 2000 - Studia Logica 65 (3):383 - 416.
Information-seeking dialogues: Some of their logical properties. [REVIEW]Jaakko Hintikka & Esa Saarinen - 1979 - Studia Logica 38 (4):355 - 363.
Intuitionistic mathematics does not needex falso quodlibet.Neil Tennant - 1994 - Topoi 13 (2):127-133.
Intuitionistic autoepistemic logic.Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri - 1997 - Studia Logica 59 (1):103-120.
Antirealism, Strict Finitism and Structural Rules.Fabrice Pataut - unknown
Models of intuitionistic TT and N.Daniel Dzierzgowski - 1995 - Journal of Symbolic Logic 60 (2):640-653.
On Provability Logics with Linearly Ordered Modalities.Lev D. Beklemishev, David Fernández-Duque & Joost J. Joosten - 2014 - Studia Logica 102 (3):541-566.
Four views of arithmetical truth.Charles Sayward - 1990 - Philosophical Quarterly 40 (159):155-168.

Analytics

Added to PP
2013-10-30

Downloads
16 (#851,323)

6 months
2 (#1,136,865)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Dialogical logic.Laurent Keiff - 2010 - Stanford Encyclopedia of Philosophy.
First-Order Dialogical Games and Tableaux.Nicolas Clerbout - 2014 - Journal of Philosophical Logic 43 (4):785-801.
Why Play Logical Games?Mathieu Marion - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Springer Verlag. pp. 3--26.

View all 17 citations / Add more citations

References found in this work

Logik und Agon.Paul Lorenzen - 1960 - Atti Del XII Congresso Internazionale di Filosofia 4:187-194.
Dialogspiele als Semantische Grundlage von Logikkalkülen.Kuno Lorenz - 1968 - Archive for Mathematical Logic 11 (1-2):32-55.
Dialogspiele als Semantische Grundlage von Logikkalkülen.Kuno Lorenz - 1968 - Archive for Mathematical Logic 11 (3-4):73-100.

Add more references