Independence-friendly logic: a game-theoretic approach
Gespeichert in:
| Beteiligte Personen: | , , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge [u.a.]
Cambridge Univ. Press
2011
|
| Ausgabe: | 1. publ. |
| Schriftenreihe: | London Mathematical Society lecture note series
386 |
| Schlagwörter: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022571654&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Beschreibung: | Literaturverz. S. [198] - 202 |
| Umfang: | VI, 208 S. graph. Darst. |
| ISBN: | 9780521149341 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV037419374 | ||
| 003 | DE-604 | ||
| 005 | 20140404 | ||
| 007 | t| | ||
| 008 | 110525s2011 xx d||| |||| 00||| eng d | ||
| 020 | |a 9780521149341 |9 978-0-521-14934-1 | ||
| 035 | |a (OCoLC)729963565 | ||
| 035 | |a (DE-599)GBV644138017 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-19 |a DE-473 |a DE-824 |a DE-703 | ||
| 082 | 0 | |a 511.3 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SI 320 |0 (DE-625)143123: |2 rvk | ||
| 084 | |a SK 860 |0 (DE-625)143264: |2 rvk | ||
| 084 | |a MAT 030f |2 stub | ||
| 084 | |a MAT 920f |2 stub | ||
| 100 | 1 | |a Mann, Allen L. |e Verfasser |0 (DE-588)1012118762 |4 aut | |
| 245 | 1 | 0 | |a Independence-friendly logic |b a game-theoretic approach |c Allen L. Mann ; Gabriel Sandu ; Merlijn Sevenster |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge [u.a.] |b Cambridge Univ. Press |c 2011 | |
| 300 | |a VI, 208 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a London Mathematical Society lecture note series |v 386 | |
| 500 | |a Literaturverz. S. [198] - 202 | ||
| 650 | 0 | 7 | |a Stufe 1 |0 (DE-588)4362503-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prädikatenlogik |0 (DE-588)4046974-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Spieltheorie |0 (DE-588)4056243-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Spieltheorie |0 (DE-588)4056243-8 |D s |
| 689 | 0 | 1 | |a Prädikatenlogik |0 (DE-588)4046974-8 |D s |
| 689 | 0 | 2 | |a Stufe 1 |0 (DE-588)4362503-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Sandu, Gabriel |d 1954- |e Verfasser |0 (DE-588)138540985 |4 aut | |
| 700 | 1 | |a Sevenster, Merlijn |e Verfasser |0 (DE-588)159331129 |4 aut | |
| 830 | 0 | |a London Mathematical Society lecture note series |v 386 |w (DE-604)BV000000130 |9 386 | |
| 856 | 4 | 2 | |m Digitalisierung UB Bamberg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022571654&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-022571654 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 MAT 001z 2001 A 985-386 |
|---|---|
| DE-BY-TUM_katkey | 1770475 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010785052 |
| _version_ | 1821934924130680832 |
| adam_text | Contents
Introduction page
1
Game theory
9
2.1
Extensive games
9
2.2
Strategic games
17
28
28
30
32
39
48
55
59
59
62
67
76
83
87
87
95
99
127
Expressive power of .IF logic
134
6.1
Definability
134
6.2
Second-order logic
136
6.3
Existential second-order logic
139
6.4
Perfect recall
145
First-order logic
3.1
Syntax
3.2
Models
3.3
Game-theoretic semantics
3.4
Logical equivalence
3.5
Compositional semantics
3.6
Satisfiability
Independence-friendly logic
4.1
Syntax
4.2
Game-theoretic semantics
4.3
Skolem semantics
4.4
Compositional semantics
4.5
Game-theoretic semantics redux
Properties of IF logic
5.1
Basic properties
5.2
Extensions of IF logic
5.3
Logical equivalence
5.4
Model theory
vi
Contents
7
Probabilistic
IF
logic
150
7.1
Equilibrium semantics
151
7.2
Monotonicity
rules
156
7.3
Behavioral strategies and compositional semantics
170
7.4
Elimination of strategies
171
7.5
Expressing the rationals
181
8
Further topics
185
8.1
Compositionality
185
8.2
IF modal logic
191
References
198
Index
203
|
| any_adam_object | 1 |
| author | Mann, Allen L. Sandu, Gabriel 1954- Sevenster, Merlijn |
| author_GND | (DE-588)1012118762 (DE-588)138540985 (DE-588)159331129 |
| author_facet | Mann, Allen L. Sandu, Gabriel 1954- Sevenster, Merlijn |
| author_role | aut aut aut |
| author_sort | Mann, Allen L. |
| author_variant | a l m al alm g s gs m s ms |
| building | Verbundindex |
| bvnumber | BV037419374 |
| classification_rvk | CC 2600 SI 320 SK 860 |
| classification_tum | MAT 030f MAT 920f |
| ctrlnum | (OCoLC)729963565 (DE-599)GBV644138017 |
| 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 Philosophie |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02037nam a2200493 cb4500</leader><controlfield tag="001">BV037419374</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140404 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">110525s2011 xx d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521149341</subfield><subfield code="9">978-0-521-14934-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)729963565</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV644138017</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-703</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 320</subfield><subfield code="0">(DE-625)143123:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 860</subfield><subfield code="0">(DE-625)143264:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 920f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Mann, Allen L.</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1012118762</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Independence-friendly logic</subfield><subfield code="b">a game-theoretic approach</subfield><subfield code="c">Allen L. Mann ; Gabriel Sandu ; Merlijn Sevenster</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [u.a.]</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 208 S.</subfield><subfield code="b">graph. Darst.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">London Mathematical Society lecture note series</subfield><subfield code="v">386</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. [198] - 202</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Stufe 1</subfield><subfield code="0">(DE-588)4362503-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Spieltheorie</subfield><subfield code="0">(DE-588)4056243-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Spieltheorie</subfield><subfield code="0">(DE-588)4056243-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Stufe 1</subfield><subfield code="0">(DE-588)4362503-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sandu, Gabriel</subfield><subfield code="d">1954-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)138540985</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sevenster, Merlijn</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)159331129</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">London Mathematical Society lecture note series</subfield><subfield code="v">386</subfield><subfield code="w">(DE-604)BV000000130</subfield><subfield code="9">386</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bamberg</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022571654&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-022571654</subfield></datafield></record></collection> |
| id | DE-604.BV037419374 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T15:16:34Z |
| institution | BVB |
| isbn | 9780521149341 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-022571654 |
| oclc_num | 729963565 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-473 DE-BY-UBG DE-824 DE-703 |
| owner_facet | DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-473 DE-BY-UBG DE-824 DE-703 |
| physical | VI, 208 S. graph. Darst. |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| series | London Mathematical Society lecture note series |
| series2 | London Mathematical Society lecture note series |
| spellingShingle | Mann, Allen L. Sandu, Gabriel 1954- Sevenster, Merlijn Independence-friendly logic a game-theoretic approach London Mathematical Society lecture note series Stufe 1 (DE-588)4362503-4 gnd Prädikatenlogik (DE-588)4046974-8 gnd Spieltheorie (DE-588)4056243-8 gnd |
| subject_GND | (DE-588)4362503-4 (DE-588)4046974-8 (DE-588)4056243-8 |
| title | Independence-friendly logic a game-theoretic approach |
| title_auth | Independence-friendly logic a game-theoretic approach |
| title_exact_search | Independence-friendly logic a game-theoretic approach |
| title_full | Independence-friendly logic a game-theoretic approach Allen L. Mann ; Gabriel Sandu ; Merlijn Sevenster |
| title_fullStr | Independence-friendly logic a game-theoretic approach Allen L. Mann ; Gabriel Sandu ; Merlijn Sevenster |
| title_full_unstemmed | Independence-friendly logic a game-theoretic approach Allen L. Mann ; Gabriel Sandu ; Merlijn Sevenster |
| title_short | Independence-friendly logic |
| title_sort | independence friendly logic a game theoretic approach |
| title_sub | a game-theoretic approach |
| topic | Stufe 1 (DE-588)4362503-4 gnd Prädikatenlogik (DE-588)4046974-8 gnd Spieltheorie (DE-588)4056243-8 gnd |
| topic_facet | Stufe 1 Prädikatenlogik Spieltheorie |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022571654&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000130 |
| work_keys_str_mv | AT mannallenl independencefriendlylogicagametheoreticapproach AT sandugabriel independencefriendlylogicagametheoreticapproach AT sevenstermerlijn independencefriendlylogicagametheoreticapproach |
Inhaltsverzeichnis
Paper/Kapitel scannen lassen
Paper/Kapitel scannen lassen
Teilbibliothek Mathematik & Informatik
| Signatur: |
0102 MAT 001z 2001 A 985-386
Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |