Dependence logic: a new approach to independence friendly logic
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 Hi...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge University Press
2007
|
| Schriftenreihe: | London Mathematical Society student texts
70 |
| Schlagworte: | |
| Online-Zugang: | BSB01 FHN01 UBR01 URL des Erstveröffentlichers |
| Zusammenfassung: | 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 |
| Beschreibung: | Title from publisher's bibliographic system (viewed on 05 Oct 2015) |
| Beschreibung: | 1 Online-Ressource (ix, 225 Seiten) |
| ISBN: | 9780511611193 |
| DOI: | 10.1017/CBO9780511611193 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043940572 | ||
| 003 | DE-604 | ||
| 005 | 20231214 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 161206s2007 |||| o||u| ||||||eng d | ||
| 020 | |a 9780511611193 |c Online |9 978-0-511-61119-3 | ||
| 024 | 7 | |a 10.1017/CBO9780511611193 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9780511611193 | ||
| 035 | |a (OCoLC)850400802 | ||
| 035 | |a (DE-599)BVBBV043940572 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-92 |a DE-355 | ||
| 082 | 0 | |a 511.3 |2 22 | |
| 100 | 1 | |a Väänänen, Jouko |d 1950- |e Verfasser |0 (DE-588)121630544 |4 aut | |
| 245 | 1 | 0 | |a Dependence logic |b a new approach to independence friendly logic |c Jouko Väänänen |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2007 | |
| 300 | |a 1 Online-Ressource (ix, 225 Seiten) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a London Mathematical Society student texts |v 70 | |
| 500 | |a Title from publisher's bibliographic system (viewed on 05 Oct 2015) | ||
| 520 | |a 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 | ||
| 650 | 4 | |a First-order logic | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-0-521-87659-9 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-0-521-70015-3 |
| 856 | 4 | 0 | |u https://doi.org/10.1017/CBO9780511611193 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029349542 | ||
| 966 | e | |u https://doi.org/10.1017/CBO9780511611193 |l BSB01 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511611193 |l FHN01 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511611193 |l UBR01 |p ZDB-20-CBO |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804176881267769344 |
|---|---|
| any_adam_object | |
| author | Väänänen, Jouko 1950- |
| author_GND | (DE-588)121630544 |
| author_facet | Väänänen, Jouko 1950- |
| author_role | aut |
| author_sort | Väänänen, Jouko 1950- |
| author_variant | j v jv |
| building | Verbundindex |
| bvnumber | BV043940572 |
| collection | ZDB-20-CBO |
| ctrlnum | (ZDB-20-CBO)CR9780511611193 (OCoLC)850400802 (DE-599)BVBBV043940572 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| doi_str_mv | 10.1017/CBO9780511611193 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02627nmm a2200421zcb4500</leader><controlfield tag="001">BV043940572</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20231214 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">161206s2007 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511611193</subfield><subfield code="c">Online</subfield><subfield code="9">978-0-511-61119-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/CBO9780511611193</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9780511611193</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)850400802</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043940572</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Väänänen, Jouko</subfield><subfield code="d">1950-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)121630544</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Dependence logic</subfield><subfield code="b">a new approach to independence friendly logic</subfield><subfield code="c">Jouko Väänänen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (ix, 225 Seiten)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">London Mathematical Society student texts</subfield><subfield code="v">70</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title from publisher's bibliographic system (viewed on 05 Oct 2015)</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">First-order logic</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-0-521-87659-9</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-0-521-70015-3</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/CBO9780511611193</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CBO</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029349542</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511611193</subfield><subfield code="l">BSB01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511611193</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">FHN_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511611193</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043940572 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:39:13Z |
| institution | BVB |
| isbn | 9780511611193 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029349542 |
| oclc_num | 850400802 |
| open_access_boolean | |
| owner | DE-12 DE-92 DE-355 DE-BY-UBR |
| owner_facet | DE-12 DE-92 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (ix, 225 Seiten) |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO FHN_PDA_CBO |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | Cambridge University Press |
| record_format | marc |
| series2 | London Mathematical Society student texts |
| spelling | Väänänen, Jouko 1950- Verfasser (DE-588)121630544 aut Dependence logic a new approach to independence friendly logic Jouko Väänänen Cambridge Cambridge University Press 2007 1 Online-Ressource (ix, 225 Seiten) txt rdacontent c rdamedia cr rdacarrier London Mathematical Society student texts 70 Title from publisher's bibliographic system (viewed on 05 Oct 2015) 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 First-order logic Erscheint auch als Druck-Ausgabe 978-0-521-87659-9 Erscheint auch als Druck-Ausgabe 978-0-521-70015-3 https://doi.org/10.1017/CBO9780511611193 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Väänänen, Jouko 1950- Dependence logic a new approach to independence friendly logic First-order logic |
| title | Dependence logic a new approach to independence friendly logic |
| title_auth | Dependence logic a new approach to independence friendly logic |
| title_exact_search | Dependence logic a new approach to independence friendly logic |
| title_full | Dependence logic a new approach to independence friendly logic Jouko Väänänen |
| title_fullStr | Dependence logic a new approach to independence friendly logic Jouko Väänänen |
| title_full_unstemmed | Dependence logic a new approach to independence friendly logic Jouko Väänänen |
| title_short | Dependence logic |
| title_sort | dependence logic a new approach to independence friendly logic |
| title_sub | a new approach to independence friendly logic |
| topic | First-order logic |
| topic_facet | First-order logic |
| url | https://doi.org/10.1017/CBO9780511611193 |
| work_keys_str_mv | AT vaananenjouko dependencelogicanewapproachtoindependencefriendlylogic |