Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

Available items only
Conference 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 Lwe.

Imprint Amsterdam : Amsterdam Univsity Press, 2007.


Location Call No. OPAC Message Status
 Axe JSTOR Open Ebooks  Electronic Book    ---  Available
Description 1 online resource (362 pages)
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
Series Texts in logic and games ; v. 1
Texts in logic and games ; v. 1.
Bibliography Includes bibliographical references.
Note Print version record.
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.
Subject Game theory -- Congresses.
Logic, Symbolic and mathematical -- Congresses.
MATHEMATICS -- Game Theory.
PHILOSOPHY -- General.
Game theory. (OCoLC)fst00937501
Logic, Symbolic and mathematical. (OCoLC)fst01002068
Genre/Form Electronic books.
Electronic books.
Conference papers and proceedings. (OCoLC)fst01423772
Added Author Benthem, Johan van, 1949-
Lwe, Benedikt.
Gabbay, Dov M., 1945-
Other Form: Print version: Augustus De Morgan Workshop (7th : 2005 : London, England). Interactive logic. Amsterdam : Amsterdam Univsity Press, 2007 9789053563564 9053563563 (OCoLC)225876076
ISBN 9789048501120 (electronic bk.)
9048501121 (electronic bk.)
Standard No. AU@ 000054164935
DEBBG BV043083641
DEBBG BV044133513
DEBSZ 396238637
DEBSZ 422139041
GBVCP 1003593267

Available items only