An Application of Games to the Completeness Problem for Formalized Theories

Journal of Symbolic Logic 32 (2):281-282 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271711

Links

PhilArchive



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

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

Review: A. Ehrenfeucht, An Application of Games to the Completeness Problem for Formalized Theories. [REVIEW]Erwin Engeler - 1967 - Journal of Symbolic Logic 32 (2):281-282.
Presuppositional completeness.Wojciech Buszkowski - 1989 - Studia Logica 48 (1):23 - 34.
On non‐determined ehrenfeucht‐fraïssé games and unstable theories.Tapani Hyttinen & T. Hyttinen - 1992 - Mathematical Logic Quarterly 38 (1):399-408.
The Aesthetic Experience of Video Games: A Pluralistic Approach.Tad Bratkowski - unknown
The intuitionistic fragment of computability logic at the propositional level.Giorgi Japaridze - 2007 - Annals of Pure and Applied Logic 147 (3):187-227.
An incompleteness problem in Harsanyi's general theory of games and certain related theories of non-cooperative games.Edward F. McClennen - 1972 - Theory and Decision 2 (4):314-341.
The Right Tool for the Job: Philosophy’s Evolving Role in Advancing Management Theory.Steven E. Wallis - 2012 - Philosophy of Management 11 (3):67-99.
A Modal Logic for Mixed Strategies.Joshua Sack & Wiebe van der Hoek - 2014 - Studia Logica 102 (2):339-360.
A Semantic Approach to the Completeness Problem in Quantum Mechanics.Claudio Garola & Sandro Sozzo - 2004 - Foundations of Physics 34 (8):1249-1266.
Modelling simultaneous games in dynamic logic.Johan van Benthem, Sujata Ghosh & Fenrong Liu - 2008 - Synthese 165 (2):247-268.
Multi-modal ctl: Completeness, complexity, and an application.Wiebe der Hoek Thomas Ågotnevans, A. Rodríguez-Aguilar Juan & Michael Wooldridge Carles Sierra - 2009 - Studia Logica 92 (1).
Are Video Games Art?Aaron Smuts - 2005 - Contemporary Aesthetics 3.
Modelling Simultaneous Games in Dynamic Logic.Johan Van Benthem, Sujata Ghosh & Fenrong Liu - 2008 - Synthese 165 (2):247 - 268.
Determined game logic is complete.Jan van Eijck - unknown
Multi-Modal CTL: Completeness, Complexity, and an Application.Thomas Ågotnes, Wiebe Van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra & Michael Wooldridge - 2009 - Studia Logica 92 (1):1 - 26.

Analytics

Added to PP
2015-02-05

Downloads
36 (#434,037)

6 months
7 (#418,426)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On languages with two variables.Michael Mortimer - 1975 - Mathematical Logic Quarterly 21 (1):135-140.
Logic and games.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.
Generalized quantifiers.Dag Westerståhl - 2008 - Stanford Encyclopedia of Philosophy.

View all 37 citations / Add more citations

References found in this work

No references found.

Add more references