Umfang:
1 Online-Ressource (362 pages)
Ausgabe:
Online-Ausg.
ISBN:
9048501121
,
9789048501120
Serie:
Texts in logic and games v. 1
Inhalt:
A collection of excellent research papers in logic, mathematics, computer science and game theory
Inhalt:
DEMO -- A Demo of Epistemic Modelling.
Inhalt:
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.
Anmerkung:
Includes bibliographical references
Weitere Ausg.:
ISBN 9053563563
Weitere Ausg.:
ISBN 9789053563564
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe Augustus De Morgan Workshop (7th : 2005 : London, England) Interactive logic Amsterdam : Amsterdam Univsity Press, ©2007
Sprache:
Englisch
Schlagwort(e):
Electronic books
Mehr zum Autor:
Gabbay, Dov M. 1945-
Mehr zum Autor:
Benthem, Johan van 1949-
