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