Cargando…
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.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam :
Amsterdam Univsity Press,
©2007.
|
| Colección: | Texts in logic and games ;
v. 1. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | JSTOR_ocn232160025 | ||
| 003 | OCoLC | ||
| 005 | 20231005004200.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 | ||
| 020 | |a 9789048501120 |q (electronic bk.) | ||
| 020 | |a 9048501121 |q (electronic bk.) | ||
| 029 | 1 | |a AU@ |b 000054164935 | |
| 029 | 1 | |a DEBBG |b BV043083641 | |
| 029 | 1 | |a DEBBG |b BV044133513 | |
| 029 | 1 | |a DEBSZ |b 396238637 | |
| 029 | 1 | |a DEBSZ |b 422139041 | |
| 029 | 1 | |a GBVCP |b 1003593267 | |
| 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 | 0 | 4 | |a 519.3 |2 22 |
| 049 | |a UAMI | ||
| 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. | ||
| 590 | |a JSTOR |b Books at JSTOR All Purchased | ||
| 590 | |a JSTOR |b Books at JSTOR Open Access | ||
| 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 |0 (OCoLC)fst00937501 | |
| 650 | 7 | |a Logic, Symbolic and mathematical. |2 fast |0 (OCoLC)fst01002068 | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772 | |
| 700 | 1 | |a Benthem, Johan van, |d 1949- | |
| 700 | 1 | |a Löwe, Benedikt. | |
| 700 | 1 | |a Gabbay, Dov M., |d 1945- | |
| 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. | |
| 856 | 4 | 0 | |u https://jstor.uam.elogim.com/stable/10.2307/j.ctt45kdbf |z Texto completo |
| 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 IZTAP | ||