Dependence Logic: A New Approach to Independence Friendly Logic

by Jouko Väänänen

Book Overview

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...

• Format: Paperback
• Language: English
• ISBN: 0521700159
• ISBN13: 9780521700153
• Release Date: May 2007
• Publisher: Cambridge University Press
• Length: 236 Pages
• Weight: 0.74 lbs.
• Dimensions: 0.5" x 8.9" x 6.0"