Dependence Logic: A New Approach to Independence Friendly Logic

Cambridge University Press (2007)
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
Keywords First-order logic
Categories (categorize this paper)
Buy the book $19.21 used (90% off)   $33.20 new (82% off)   $176.00 direct from Amazon    Amazon page
Call number BC128.V33 2007
ISBN(s) 9780521876599   0521876591
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
 
Download options
PhilPapers Archive


Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 9,357
External links
  •   Try with proxy.
  • Through your library Configure
    References found in this work BETA

    No references found.

    Citations of this work BETA
    Tero Tulenheimo (2009). Hybrid Logic Meets If Modal Logic. Journal of Logic, Language and Information 18 (4):559-591.
    Juha Kontinen & Jouko Väänänen (2009). On Definability in Dependence Logic. Journal of Logic, Language and Information 18 (3):317-332.

    View all 9 citations

    Similar books and articles
    Analytics

    Monthly downloads

    Added to index

    2009-01-28

    Total downloads

    26 ( #56,514 of 1,088,624 )

    Recent downloads (6 months)

    1 ( #69,601 of 1,088,624 )

    How can I increase my downloads?

    My notes
    Sign in to use this feature


    Discussion
    Start a new thread
    Order:
    There  are no threads in this forum
    Nothing in this forum yet.