Interactive logic :: selected papers from the 7th Augustus de Morgan Workshop, London /
A collection of excellent research papers in logic, mathematics, computer science and game theory.
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam :
Amsterdam Univsity Press,
©2007.
|
| Schriftenreihe: | Texts in logic and games ;
v. 1. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | A collection of excellent research papers in logic, mathematics, computer science and game theory. |
| Beschreibung: | 1 online resource (362 pages) |
| Bibliographie: | Includes bibliographical references. |
| ISBN: | 9789048501120 9048501121 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn232160025 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 080617s2007 ne ob 100 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCLCQ |d EBLCP |d OCLCQ |d TUU |d OCLCQ |d OCLCA |d DEBSZ |d OCLCF |d JSTOR |d OCLCQ |d OCLCO |d NLGGC |d YDXCP |d OCL |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d ORU |d AGLDB |d PIFAG |d ZCU |d COO |d MERUC |d OCLCQ |d IOG |d U3W |d LUE |d LND |d LOA |d VTS |d ICG |d INT |d AU@ |d OCLCQ |d ERL |d LVT |d ICN |d OCLCQ |d STF |d OCLCQ |d DKC |d OCLCO |d OCLCQ |d CNTRU |d M8D |d OCLCQ |d OCLCO |d AJS |d OCLCA |d OCLCQ |d OCLCO |d OCLCQ |d ANO |d OCLCQ |d OCLCA |d WSU |d OCLCO |d OCLCL | ||
| 020 | |a 9789048501120 |q (electronic bk.) | ||
| 020 | |a 9048501121 |q (electronic bk.) | ||
| 035 | |a (OCoLC)232160025 | ||
| 037 | |a 22573/ctt45tgwz |b JSTOR | ||
| 050 | 4 | |a QA269 |b .A94 2005eb | |
| 072 | 7 | |a MAT |x 011000 |2 bisacsh | |
| 072 | 7 | |a PHI000000 |2 bisacsh | |
| 082 | 7 | |a 519.3 |2 22 | |
| 049 | |a MAIN | ||
| 111 | 2 | |a Augustus de Morgan Workshop |n (7th : |d 2005 : |c London, England) | |
| 245 | 1 | 0 | |a Interactive logic : |b selected papers from the 7th Augustus de Morgan Workshop, London / |c edited by Johan Van Benthem, Dov Gabbay, Benedikt Löwe. |
| 260 | |a Amsterdam : |b Amsterdam Univsity Press, |c ©2007. | ||
| 300 | |a 1 online resource (362 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Texts in logic and games ; |v v. 1 | |
| 504 | |a Includes bibliographical references. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Table of Contents; Preface; Ch. 1: A Compositional Game Semantics for Multi-Agent Logics of Partial Information; Ch. 2: Quantificational Modal Operators and Their Semantics; Ch. 3: A Note on Kuhn's Theor em; Ch. 4: What Kind of Memory is Needed to Win Infinitary Muller Games?; Ch. 5: Logics of Imperfect Information: Why Sets of Assignments?; Ch. 6: Reasoning about Communication Graphs; Ch. 7: Epistemic Foundations for Backward Induction: An Overview; Ch. 8: Multitape Games; Ch. 9 : The Complexity of Schotland Yard; Ch. 10 : Approaches to Independence Friendly Modal Logic; Ch. 11: Team Logic. | |
| 505 | 8 | |a DEMO -- A Demo of Epistemic Modelling. | |
| 520 | |a A collection of excellent research papers in logic, mathematics, computer science and game theory. | ||
| 650 | 0 | |a Game theory |v Congresses. | |
| 650 | 0 | |a Logic, Symbolic and mathematical |v Congresses. | |
| 650 | 6 | |a Théorie des jeux |v Congrès. | |
| 650 | 6 | |a Logique symbolique et mathématique |v Congrès. | |
| 650 | 7 | |a MATHEMATICS |x Game Theory. |2 bisacsh | |
| 650 | 7 | |a PHILOSOPHY |x General. |2 bisacsh | |
| 650 | 7 | |a Game theory |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 655 | 7 | |a proceedings (reports) |2 aat | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 655 | 7 | |a Conference papers and proceedings. |2 lcgft |0 http://id.loc.gov/authorities/genreForms/gf2014026068 | |
| 655 | 7 | |a Actes de congrès. |2 rvmgf | |
| 700 | 1 | |a Benthem, Johan van, |d 1949- |1 https://id.oclc.org/worldcat/entity/E39PBJk96xbFpMWmGQ4BmGJJjC | |
| 700 | 1 | |a Löwe, Benedikt. | |
| 700 | 1 | |a Gabbay, Dov M., |d 1945- |1 https://id.oclc.org/worldcat/entity/E39PBJfWWybKqqXHW94G7tqvpP |0 http://id.loc.gov/authorities/names/n80153278 | |
| 758 | |i has work: |a Interactive logic (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGmjGjhm87Mjg9bBQq8w83 |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Augustus De Morgan Workshop (7th : 2005 : London, England). |t Interactive logic. |d Amsterdam : Amsterdam Univsity Press, ©2007 |z 9789053563564 |z 9053563563 |w (OCoLC)225876076 |
| 830 | 0 | |a Texts in logic and games ; |v v. 1. |0 http://id.loc.gov/authorities/names/no2009049805 | |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=224162 |3 Volltext |
| 938 | |a EBL - Ebook Library |b EBLB |n EBL419848 | ||
| 938 | |a EBSCOhost |b EBSC |n 224162 | ||
| 938 | |a YBP Library Services |b YANK |n 2836314 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn232160025 |
|---|---|
| _version_ | 1816881667719036928 |
| adam_text | |
| any_adam_object | |
| author2 | Benthem, Johan van, 1949- Löwe, Benedikt Gabbay, Dov M., 1945- |
| author2_role | |
| author2_variant | j v b jv jvb b l bl d m g dm dmg |
| author_GND | http://id.loc.gov/authorities/names/n80153278 |
| author_corporate | Augustus de Morgan Workshop London, England |
| author_corporate_role | |
| author_facet | Benthem, Johan van, 1949- Löwe, Benedikt Gabbay, Dov M., 1945- Augustus de Morgan Workshop London, England |
| author_sort | Augustus de Morgan Workshop London, England |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA269 |
| callnumber-raw | QA269 .A94 2005eb |
| callnumber-search | QA269 .A94 2005eb |
| callnumber-sort | QA 3269 A94 42005EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | Table of Contents; Preface; Ch. 1: A Compositional Game Semantics for Multi-Agent Logics of Partial Information; Ch. 2: Quantificational Modal Operators and Their Semantics; Ch. 3: A Note on Kuhn's Theor em; Ch. 4: What Kind of Memory is Needed to Win Infinitary Muller Games?; Ch. 5: Logics of Imperfect Information: Why Sets of Assignments?; Ch. 6: Reasoning about Communication Graphs; Ch. 7: Epistemic Foundations for Backward Induction: An Overview; Ch. 8: Multitape Games; Ch. 9 : The Complexity of Schotland Yard; Ch. 10 : Approaches to Independence Friendly Modal Logic; Ch. 11: Team Logic. DEMO -- A Demo of Epistemic Modelling. |
| ctrlnum | (OCoLC)232160025 |
| dewey-full | 519.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 519 - Probabilities and applied mathematics |
| dewey-raw | 519.3 |
| dewey-search | 519.3 |
| dewey-sort | 3519.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04018cam a2200649 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn232160025</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">080617s2007 ne ob 100 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">EBLCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">TUU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCA</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">JSTOR</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">NLGGC</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">ORU</subfield><subfield code="d">AGLDB</subfield><subfield code="d">PIFAG</subfield><subfield code="d">ZCU</subfield><subfield code="d">COO</subfield><subfield code="d">MERUC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">IOG</subfield><subfield code="d">U3W</subfield><subfield code="d">LUE</subfield><subfield code="d">LND</subfield><subfield code="d">LOA</subfield><subfield code="d">VTS</subfield><subfield code="d">ICG</subfield><subfield code="d">INT</subfield><subfield code="d">AU@</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">ERL</subfield><subfield code="d">LVT</subfield><subfield code="d">ICN</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">STF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DKC</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">CNTRU</subfield><subfield code="d">M8D</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">AJS</subfield><subfield code="d">OCLCA</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">ANO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCA</subfield><subfield code="d">WSU</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789048501120</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9048501121</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)232160025</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">22573/ctt45tgwz</subfield><subfield code="b">JSTOR</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA269</subfield><subfield code="b">.A94 2005eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">011000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">PHI000000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">519.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Augustus de Morgan Workshop</subfield><subfield code="n">(7th :</subfield><subfield code="d">2005 :</subfield><subfield code="c">London, England)</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Interactive logic :</subfield><subfield code="b">selected papers from the 7th Augustus de Morgan Workshop, London /</subfield><subfield code="c">edited by Johan Van Benthem, Dov Gabbay, Benedikt Löwe.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Amsterdam :</subfield><subfield code="b">Amsterdam Univsity Press,</subfield><subfield code="c">©2007.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (362 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Texts in logic and games ;</subfield><subfield code="v">v. 1</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Table of Contents; Preface; Ch. 1: A Compositional Game Semantics for Multi-Agent Logics of Partial Information; Ch. 2: Quantificational Modal Operators and Their Semantics; Ch. 3: A Note on Kuhn's Theor em; Ch. 4: What Kind of Memory is Needed to Win Infinitary Muller Games?; Ch. 5: Logics of Imperfect Information: Why Sets of Assignments?; Ch. 6: Reasoning about Communication Graphs; Ch. 7: Epistemic Foundations for Backward Induction: An Overview; Ch. 8: Multitape Games; Ch. 9 : The Complexity of Schotland Yard; Ch. 10 : Approaches to Independence Friendly Modal Logic; Ch. 11: Team Logic.</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">DEMO -- A Demo of Epistemic Modelling.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">A collection of excellent research papers in logic, mathematics, computer science and game theory.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Game theory</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Théorie des jeux</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Game Theory.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PHILOSOPHY</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Game theory</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">proceedings (reports)</subfield><subfield code="2">aat</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Conference papers and proceedings</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Conference papers and proceedings.</subfield><subfield code="2">lcgft</subfield><subfield code="0">http://id.loc.gov/authorities/genreForms/gf2014026068</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Actes de congrès.</subfield><subfield code="2">rvmgf</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Benthem, Johan van,</subfield><subfield code="d">1949-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJk96xbFpMWmGQ4BmGJJjC</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Löwe, Benedikt.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gabbay, Dov M.,</subfield><subfield code="d">1945-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJfWWybKqqXHW94G7tqvpP</subfield><subfield code="0">http://id.loc.gov/authorities/names/n80153278</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Interactive logic (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCGmjGjhm87Mjg9bBQq8w83</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Augustus De Morgan Workshop (7th : 2005 : London, England).</subfield><subfield code="t">Interactive logic.</subfield><subfield code="d">Amsterdam : Amsterdam Univsity Press, ©2007</subfield><subfield code="z">9789053563564</subfield><subfield code="z">9053563563</subfield><subfield code="w">(OCoLC)225876076</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Texts in logic and games ;</subfield><subfield code="v">v. 1.</subfield><subfield code="0">http://id.loc.gov/authorities/names/no2009049805</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=224162</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBL - Ebook Library</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL419848</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">224162</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2836314</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | proceedings (reports) aat Conference papers and proceedings fast Conference papers and proceedings. lcgft http://id.loc.gov/authorities/genreForms/gf2014026068 Actes de congrès. rvmgf |
| genre_facet | proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. |
| id | ZDB-4-EBA-ocn232160025 |
| illustrated | Not Illustrated |
| indexdate | 2024-11-27T13:16:22Z |
| institution | BVB |
| isbn | 9789048501120 9048501121 |
| language | English |
| oclc_num | 232160025 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (362 pages) |
| psigel | ZDB-4-EBA |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | Amsterdam Univsity Press, |
| record_format | marc |
| series | Texts in logic and games ; |
| series2 | Texts in logic and games ; |
| spelling | Augustus de Morgan Workshop (7th : 2005 : London, England) Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London / edited by Johan Van Benthem, Dov Gabbay, Benedikt Löwe. Amsterdam : Amsterdam Univsity Press, ©2007. 1 online resource (362 pages) text txt rdacontent computer c rdamedia online resource cr rdacarrier Texts in logic and games ; v. 1 Includes bibliographical references. Print version record. Table of Contents; Preface; Ch. 1: A Compositional Game Semantics for Multi-Agent Logics of Partial Information; Ch. 2: Quantificational Modal Operators and Their Semantics; Ch. 3: A Note on Kuhn's Theor em; Ch. 4: What Kind of Memory is Needed to Win Infinitary Muller Games?; Ch. 5: Logics of Imperfect Information: Why Sets of Assignments?; Ch. 6: Reasoning about Communication Graphs; Ch. 7: Epistemic Foundations for Backward Induction: An Overview; Ch. 8: Multitape Games; Ch. 9 : The Complexity of Schotland Yard; Ch. 10 : Approaches to Independence Friendly Modal Logic; Ch. 11: Team Logic. DEMO -- A Demo of Epistemic Modelling. A collection of excellent research papers in logic, mathematics, computer science and game theory. Game theory Congresses. Logic, Symbolic and mathematical Congresses. Théorie des jeux Congrès. Logique symbolique et mathématique Congrès. MATHEMATICS Game Theory. bisacsh PHILOSOPHY General. bisacsh Game theory fast Logic, Symbolic and mathematical fast proceedings (reports) aat Conference papers and proceedings fast Conference papers and proceedings. lcgft http://id.loc.gov/authorities/genreForms/gf2014026068 Actes de congrès. rvmgf Benthem, Johan van, 1949- https://id.oclc.org/worldcat/entity/E39PBJk96xbFpMWmGQ4BmGJJjC Löwe, Benedikt. Gabbay, Dov M., 1945- https://id.oclc.org/worldcat/entity/E39PBJfWWybKqqXHW94G7tqvpP http://id.loc.gov/authorities/names/n80153278 has work: Interactive logic (Text) https://id.oclc.org/worldcat/entity/E39PCGmjGjhm87Mjg9bBQq8w83 https://id.oclc.org/worldcat/ontology/hasWork Print version: Augustus De Morgan Workshop (7th : 2005 : London, England). Interactive logic. Amsterdam : Amsterdam Univsity Press, ©2007 9789053563564 9053563563 (OCoLC)225876076 Texts in logic and games ; v. 1. http://id.loc.gov/authorities/names/no2009049805 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=224162 Volltext |
| spellingShingle | Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London / Texts in logic and games ; Table of Contents; Preface; Ch. 1: A Compositional Game Semantics for Multi-Agent Logics of Partial Information; Ch. 2: Quantificational Modal Operators and Their Semantics; Ch. 3: A Note on Kuhn's Theor em; Ch. 4: What Kind of Memory is Needed to Win Infinitary Muller Games?; Ch. 5: Logics of Imperfect Information: Why Sets of Assignments?; Ch. 6: Reasoning about Communication Graphs; Ch. 7: Epistemic Foundations for Backward Induction: An Overview; Ch. 8: Multitape Games; Ch. 9 : The Complexity of Schotland Yard; Ch. 10 : Approaches to Independence Friendly Modal Logic; Ch. 11: Team Logic. DEMO -- A Demo of Epistemic Modelling. Game theory Congresses. Logic, Symbolic and mathematical Congresses. Théorie des jeux Congrès. Logique symbolique et mathématique Congrès. MATHEMATICS Game Theory. bisacsh PHILOSOPHY General. bisacsh Game theory fast Logic, Symbolic and mathematical fast |
| subject_GND | http://id.loc.gov/authorities/genreForms/gf2014026068 |
| title | Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London / |
| title_auth | Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London / |
| title_exact_search | Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London / |
| title_full | Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London / edited by Johan Van Benthem, Dov Gabbay, Benedikt Löwe. |
| title_fullStr | Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London / edited by Johan Van Benthem, Dov Gabbay, Benedikt Löwe. |
| title_full_unstemmed | Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London / edited by Johan Van Benthem, Dov Gabbay, Benedikt Löwe. |
| title_short | Interactive logic : |
| title_sort | interactive logic selected papers from the 7th augustus de morgan workshop london |
| title_sub | selected papers from the 7th Augustus de Morgan Workshop, London / |
| topic | Game theory Congresses. Logic, Symbolic and mathematical Congresses. Théorie des jeux Congrès. Logique symbolique et mathématique Congrès. MATHEMATICS Game Theory. bisacsh PHILOSOPHY General. bisacsh Game theory fast Logic, Symbolic and mathematical fast |
| topic_facet | Game theory Congresses. Logic, Symbolic and mathematical Congresses. Théorie des jeux Congrès. Logique symbolique et mathématique Congrès. MATHEMATICS Game Theory. PHILOSOPHY General. Game theory Logic, Symbolic and mathematical proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=224162 |
| work_keys_str_mv | AT augustusdemorganworkshoplondonengland interactivelogicselectedpapersfromthe7thaugustusdemorganworkshoplondon AT benthemjohanvan interactivelogicselectedpapersfromthe7thaugustusdemorganworkshoplondon AT lowebenedikt interactivelogicselectedpapersfromthe7thaugustusdemorganworkshoplondon AT gabbaydovm interactivelogicselectedpapersfromthe7thaugustusdemorganworkshoplondon |