Interactive logic: selected papers from the 7th Augustus de Morgan Workshop, London
Object category:
Elektronische Ressource
Publisher:
Amsterdam Univsity Press
Ort:
Amsterdam
Date:
2007
Language:
Englisch
Additional information
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.
Object text:
edited by Johan Van Benthem, Dov Gabbay, Benedikt Löwe
Includes bibliographical references
Online-Ausg.
Includes bibliographical references
Online-Ausg.
Access and usage options
Citation link:
Administrative details
Created:
2023-04-13
Last changed:
2022-07-10
Added to portal:
2023-04-13
Feedback
Our data sets are in constant development. If you have additional information about this object or discovered an error, please write to us. Information on privacy policy
Ä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
-
Object category:
- 101136
-
Language:
- 166554