Interactive logic: selected papers from the 7th Augustus de Morgan Workshop, London
Objektkategorie:
Elektronische Ressource
Verlag:
Amsterdam Univsity Press
Ort:
Amsterdam
Entstehungszeit:
2007
Sprache:
Englisch
Weitere Objektinformationen
Abstract:
A collection of excellent research papers in logic, mathematics, computer science and game theory
DEMO -- A Demo of Epistemic Modelling.
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.
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.
Objekttext:
edited by Johan Van Benthem, Dov Gabbay, Benedikt Löwe
Includes bibliographical references
Online-Ausg.
Includes bibliographical references
Online-Ausg.
Zugriff und Nutzungsmöglichkeiten
Administrative Angaben
Datensatz angelegt am:
2023-04-13
Zuletzt geändert am:
2022-07-10
In Portal übernommen am:
2023-04-13
Feedback
Unsere Datensätze befinden sich in stetiger Weiterentwicklung. Wenn Sie zusätzliche Informationen zu diesem Objekt oder einen Fehler entdeckt haben, dann schreiben Sie uns. Informationen zum Datenschutz
Ähnliche Objekte
Entdecken Sie ähnliche Objekte. Über die Datenfelder können Sie die Objekte auswählen, die Sie interessieren. Sie können Ihre Suchfilter beibehalten oder deaktivieren.
Suchfilter berücksichtigen
-
Objektkategorie:
- 101136
-
Sprache:
- 166554