Dependence logic: a new approach to independence friendly logic

New York: Cambridge University Press (2007)
  Copy   BIBTEX

Abstract

Dependence is a common phenomenon, wherever one looks: ecological systems, astronomy, human history, stock markets - but what is the logic of dependence? This book is the first to carry out a systematic logical study of this important concept, giving on the way a precise mathematical treatment of Hintikka’s independence friendly logic. Dependence logic adds the concept of dependence to first order logic. Here the syntax and semantics of dependence logic are studied, dependence logic is given an alternative game theoretic semantics, and results about its complexity are proven. This is a graduate textbook suitable for a special course in logic in mathematics, philosophy and computer science departments, and contains over 200 exercises, many of which have a full solution at the end of the book. It is also accessible to readers, with a basic knowledge of logic, interested in new phenomena in logic

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 89,703

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

Logic for philosophy.Theodore Sider - 2009 - New York: Oxford University Press.
Generalized Quantifiers in Dependence Logic.Fredrik Engström - 2012 - Journal of Logic, Language and Information 21 (3):299-324.
Quantum logic as a fragment of independence-friendly logic.Jaakko Hintikka - 2002 - Journal of Philosophical Logic 31 (3):197-209.
Independence-friendly logic: a game-theoretic approach.Allen L. Mann - 2011 - New York: Cambridge University Press. Edited by Gabriel Sandu & Merlijn Sevenster.
A Remark on Negation in Dependence Logic.Juha Kontinen & Jouko Väänänen - 2011 - Notre Dame Journal of Formal Logic 52 (1):55-65.
On definability in dependence logic.Juha Kontinen & Jouko Väänänen - 2009 - Journal of Logic, Language and Information 18 (3):317-332.

Analytics

Added to PP
2009-01-28

Downloads
58 (#245,163)

6 months
6 (#200,346)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jouko A Vaananen
University of Helsinki

Citations of this work

The Ethics of Nudge.Luc Bovens - 2008 - In Mats J. Hansson & Till Grüne-Yanoff (eds.), Preference Change: Approaches from Philosophy, Economics and Psychology. Berlin: Springer, Theory and Decision Library A. pp. 207-20.
Questions as information types.Ivano Ciardelli - 2018 - Synthese 195 (1):321-365.
On definability in dependence logic.Juha Kontinen & Jouko Väänänen - 2009 - Journal of Logic, Language and Information 18 (3):317-332.
From if to bi.Samson Abramsky & Jouko Väänänen - 2009 - Synthese 167 (2):207 - 230.

View all 46 citations / Add more citations

References found in this work

No references found.

Add more references