Independence-friendly logic: a game-theoretic approach
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge [u.a.]
Cambridge Univ. Press
2011
|
| Edition: | 1. publ. |
| Series: | London Mathematical Society lecture note series
386 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturverz. S. [198] - 202 |
| Physical Description: | VI, 208 S. graph. Darst. |
| ISBN: | 9780521149341 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV037419374 | ||
| 003 | DE-604 | ||
| 005 | 20140404 | ||
| 007 | t | ||
| 008 | 110525s2011 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 |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-022571654 | ||
Record in the Search Index
| _version_ | 1804145720317444096 |
|---|---|
| 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>02036nam 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 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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-022571654</subfield></datafield></record></collection> |
| id | DE-604.BV037419374 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T23:23:56Z |
| 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 |
| spelling | Mann, Allen L. Verfasser (DE-588)1012118762 aut Independence-friendly logic a game-theoretic approach Allen L. Mann ; Gabriel Sandu ; Merlijn Sevenster 1. publ. Cambridge [u.a.] Cambridge Univ. Press 2011 VI, 208 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier London Mathematical Society lecture note series 386 Literaturverz. S. [198] - 202 Stufe 1 (DE-588)4362503-4 gnd rswk-swf Prädikatenlogik (DE-588)4046974-8 gnd rswk-swf Spieltheorie (DE-588)4056243-8 gnd rswk-swf Spieltheorie (DE-588)4056243-8 s Prädikatenlogik (DE-588)4046974-8 s Stufe 1 (DE-588)4362503-4 s DE-604 Sandu, Gabriel 1954- Verfasser (DE-588)138540985 aut Sevenster, Merlijn Verfasser (DE-588)159331129 aut London Mathematical Society lecture note series 386 (DE-604)BV000000130 386 Digitalisierung UB Bamberg application/pdf 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 Inhaltsverzeichnis |
| 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 |