Welcome to the Kids' Library!

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

Back to Search Results

Available items only

Previous Record Next Record

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 Löwe.

Imprint

Connect to
Connect to https://pittstate.idm.oclc.org/login?url=https://www.jstor.org/stable/10.2307/j.ctt45kdbf

Copies

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.
	Théorie des jeux -- Congrès.
	Logique symbolique et mathématique -- Congrès.
	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.
Added Author	Benthem, Johan van, 1949-
	Löwe, 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