5 options
Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London / edited by Johan Van Benthem, Dov Gabbay, Benedikt Lowe.
- Format:
- Book
- Conference/Event
- Conference Name:
- Augustus de Morgan Workshop (7th : 2005 : London, England)
- Series:
- Texts in logic and games ; v. 1.
- Texts in logic and games ; v. 1
- Language:
- Dutch
- English
- Subjects (All):
- Game theory--Congresses.
- Game theory.
- Logic, Symbolic and mathematical--Congresses.
- Logic, Symbolic and mathematical.
- Physical Description:
- 1 online resource (363 p.)
- Edition:
- 1st ed.
- Place of Publication:
- Amsterdam : Amsterdam University Press, c2007.
- Language Note:
- English
- Summary:
- A collection of excellent research papers in logic, mathematics, computer science and game theory
- Contents:
- 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
- Notes:
- The 7th Augustus de Morgan workshop (ADMW) was held from November 4th to 7th, 2005 under the title Interactive logic : games and social software.
- Includes bibliographical references.
- CC BY-NC-ND
- ISBN:
- 9789048501120
- 9048501121
- OCLC:
- 232160025
- Publisher Number:
- 10.5117/9789053563564
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.