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