Limit search to available items
Your search query has been changed... Tried: (van and dusen, and augustus and s. and f. and x. and (fictitious and character)) no results found... Tried: (van or dusen, or augustus or (fictitious or character))
32000 results found. sorted by date .
Book Cover
E-book
Author Augustus de Morgan Workshop (7th : 2005 : London, England)

Title Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London / edited by Johan Van Benthem, Dov Gabbay, Benedikt Löwe
Published Amsterdam : Amsterdam Univsity Press, ©2007

Copies

Description 1 online resource (362 pages)
Series Texts in logic and games ; v. 1
Texts in logic and games ; v. 1.
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
Summary A collection of excellent research papers in logic, mathematics, computer science and game theory
Bibliography Includes bibliographical references
Notes Print version record
Subject Game theory -- Congresses
Logic, Symbolic and mathematical -- Congresses
MATHEMATICS -- Game Theory.
PHILOSOPHY -- General.
Game theory
Logic, Symbolic and mathematical
Genre/Form proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Benthem, Johan van, 1949-
Löwe, Benedikt
Gabbay, Dov M., 1945-
ISBN 9789048501120
9048501121