Independence-friendly logic: a game-theoretic approach

New York: Cambridge University Press. Edited by Gabriel Sandu & Merlijn Sevenster (2011)
  Copy   BIBTEX

Abstract

A systematic introduction suitable for readers who have little familiarity with logic. Provides numerous examples and complete proofs.

Categories

Keywords

Reprint years

Call number

BC128.M36 2011

ISBN(s)

9780521149341
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

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

Independence-friendly logic: A game-theoretic approach. LMS Lecture Notes, vol. 386.Allen L. Mann, Gabriel Sandu & Merlijn Sevenster - 2012 - Bulletin of Symbolic Logic 18 (2):272-273.
Allen L. Mann, Gabriel Sandu and Merlijn Sevenster. Independence-friendly logic: A game-theoretic approach. LMS Lecture Notes, Vol. 386. Cambridge University Press, Cambridge, England, 2011, vi + 208 pp. [REVIEW]Julian Bradfield - 2012 - Bulletin of Symbolic Logic 18 (2):272-273.
Dependence logic: a new approach to independence friendly logic.Jouko Väänänen - 2007 - New York: Cambridge University Press.
How to Lewis a Kripke–Hintikka.Alessandro Torza - 2013 - Synthese 190 (4):743-779.
Independendly‐Friendly Logic: Dependence and Independence of Quantifiers in Logic.Gabriel Sandu - 2012 - Philosophy Compass 7 (10):691-711.
On the semantics of informational independence.Jouko Väänänen - 2002 - Logic Journal of the IGPL 10 (3):339-352.
First-order logic: an introduction.Leigh S. Cauman - 1998 - New York: Walter de Gruyter.
Metalogic: an introduction to the metatheory of standard first order logic.Geoffrey Hunter - 1971 - Berkeley,: University of California Press.
Problem of determining the truth in the teachings of J. Hintikka.G. Ilchenko - 2012 - Epistemological studies in Philosophy, Social and Political Sciences 2 (22):236-241.
Iterative information update and stability of strategies.Takuya Masuzawa & Koji Hasebe - 2011 - Synthese 179 (1):87 - 102.

Analytics

Added to PP
2011-08-25

Downloads
58 (#283,960)

6 months
9 (#355,272)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Semantics and Truth.Jan Woleński - 2019 - Cham, Switzerland: Springer Verlag.
A Simple Logic of Functional Dependence.Alexandru Baltag & Johan van Benthem - 2021 - Journal of Philosophical Logic 50 (5):939-1005.
Logic and games.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.
A Double Team Semantics for Generalized Quantifiers.Antti Kuusisto - 2015 - Journal of Logic, Language and Information 24 (2):149-191.
Independence friendly logic.Tero Tulenheimo - 2010 - Stanford Encyclopedia of Philosophy.

View all 18 citations / Add more citations

References found in this work

No references found.

Add more references