WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/891918666

Dependence logic a new approach to independence friendly logic

A systematic logical study of dependence also providing a precise treatment of independence friendly logic.

Open All Close All

type

about

author

contributor

creator

description

http://schema.org/description

  • "A systematic logical study of dependence also providing a precise treatment of independence friendly logic."@en
  • "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 sharp results about its complexity are proven. This is a 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. Book jacket."@en

genre

http://schema.org/genre

  • "Libros electrónicos"
  • "Electronic books"@en

name

http://schema.org/name

  • "Dependence logic : a new approach to indipendence friendly logic"
  • "Dependence logic : a new approach to independence friendly logic : Jouko Väänänen"
  • "Dependence Logic A New Approach to Independence Friendly Logic"
  • "Dependence logic a new approach to independence friendly logic"
  • "Dependence logic a new approach to independence friendly logic"@en
  • "Dependence logic : a new approach to independence friendly logic"@en
  • "Dependence logic : a new approach to independence friendly logic"

workExample