Game-Theoretical Semantics as a challenge to proof theory

Nordic Journal of Philosophical Logic 4:127-142 (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Game-theoretical semantics: insights and prospects.Jaakko Hintikka - 1982 - Notre Dame Journal of Formal Logic 23 (2):219-241.
Between proof and truth.Julien Boyer & Gabriel Sandu - 2012 - Synthese 187 (3):821-832.
Game theoretical semantics and entailment.D. E. Over - 1981 - Studia Logica 40 (1):67 - 74.
What Game Theory can do for NLG: the case of vague language.Kees van Deemter - unknown
Game Theory and Language Generation.Kees van Deemter - unknown
Propositions as games as types.Aarne Ranta - 1988 - Synthese 76 (3):377 - 395.
Game-theoretical semantics for Peirce's existential graphs.Robert W. Burch - 1994 - Synthese 99 (3):361 - 375.
A type reduction from proof-conditional to dynamic semantics.Tim Fernando - 2001 - Journal of Philosophical Logic 30 (2):121-153.
Game theory and conventiont.Neil Tennant - 2001 - Nordic Journal of Philosophical Logic 6 (1):3-19.
A Relationship Among Gentzen's Proof‐Reduction, Kirby‐Paris' Hydra Game and Buchholz's Hydra Game.Masahiro Hamano & Mitsuhiro Okada - 1997 - Mathematical Logic Quarterly 43 (1):103-120.
How to Lewis a Kripke–Hintikka.Alessandro Torza - 2013 - Synthese 190 (4):743-779.
Semantic and game-theoretical insight into argumentation and proof.Barrier Thomas, Durand-Guerrier Viviane & Thomas Blossier - unknown

Analytics

Added to PP
2014-03-26

Downloads
25 (#616,937)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Independence friendly logic.Tero Tulenheimo - 2010 - Stanford Encyclopedia of Philosophy.
Is Hintikka's Logic First-Order?Matti Eklund & Daniel Kolak - 2002 - Synthese 131 (3):371-388.
Countable choice as a questionable uniformity principle.Peter M. Schuster - 2004 - Philosophia Mathematica 12 (2):106-134.
Framing the Epistemic Schism of Statistical Mechanics.Javier Anta - 2021 - Proceedings of the X Conference of the Spanish Society of Logic, Methodology and Philosophy of Science.

View all 6 citations / Add more citations

References found in this work

The principles of mathematics revisited.Jaakko Hintikka - 1996 - New York: Cambridge University Press.
The Principles of Mathematics Revisited.Jaakko Hintikka - 1996 - New York: Cambridge University Press.
Natural Logic.H. A. Lewis - 1981 - Philosophical Quarterly 31 (125):376.
No scope for scope?Jaakko Hintikka - 1997 - Linguistics and Philosophy 20 (5):515-544.

View all 6 references / Add more references