Independence friendly logic

Stanford Encyclopedia of Philosophy (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

External links

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

Through your library

Similar books and articles

Decidability of independence-friendly modal logic.Merlijn Sevenster - 2010 - Review of Symbolic Logic 3 (3):415-441.
Hybrid logic meets if modal logic.Tero Tulenheimo - 2009 - Journal of Logic, Language and Information 18 (4):559-591.
Independence-friendly logic: a game-theoretic approach.Allen L. Mann - 2011 - New York: Cambridge University Press. Edited by Gabriel Sandu & Merlijn Sevenster.
An Interpretive Independence-Friendly Quantified Modal Logic.Alessandro Torza - 2007 - In Michal Pelis (ed.), The LOGICA Yearbook 2007. Filosofia. Academy of Sciences of the Czech Republic.
On definability in dependence logic.Juha Kontinen & Jouko Väänänen - 2009 - Journal of Logic, Language and Information 18 (3):317-332.
Independent choices and the interpretation of IF logic.Theo M. V. Janssen - 2002 - Journal of Logic, Language and Information 11 (3):367-387.
Quantum logic as a fragment of independence-friendly logic.Jaakko Hintikka - 2002 - Journal of Philosophical Logic 31 (3):197-209.

Analytics

Added to PP
2009-02-15

Downloads
47 (#331,642)

6 months
6 (#512,819)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Tero Tulenheimo
Tampere University

References found in this work

Philosophy of Logic.W. V. O. Quine - 2005-01-01 - In José Medina & David Wood (eds.), Truth. Blackwell.
Quantifiers in Language and Logic.Stanley Peters & Dag Westerståhl - 2006 - Oxford, England: Clarendon Press.
The Principles of Mathematics Revisited.Jaakko Hintikka - 1996 - New York: Cambridge University Press.
Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.

View all 90 references / Add more references