Format:
1 Online-Ressource (362 pages)
Edition:
Online-Ausg.
ISBN:
9048501121
,
9789048501120
Series Statement:
Texts in logic and games v. 1
Content:
A collection of excellent research papers in logic, mathematics, computer science and game theory
Content:
DEMO -- A Demo of Epistemic Modelling.
Content:
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.
Note:
Includes bibliographical references
Additional Edition:
ISBN 9053563563
Additional Edition:
ISBN 9789053563564
Additional Edition:
Erscheint auch als Druck-Ausgabe Augustus De Morgan Workshop (7th : 2005 : London, England) Interactive logic Amsterdam : Amsterdam Univsity Press, ©2007
Language:
English
Keywords:
Electronic books
Author information:
Gabbay, Dov M. 1945-
Author information:
Benthem, Johan van 1949-
Bookmarklink
