Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London /

Show other versions (2)

A collection of excellent research papers in logic, mathematics, computer science and game theory.

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: Augustus De Morgan Workshop London, England
Other Authors: Benthem, Johan van, 1949-, Löwe, Benedikt, Gabbay, Dov M., 1945-
Format: Electronic Conference Proceeding eBook
Language:Inglés
Published: Amsterdam : Amsterdam Univsity Press, ©2007.
Series:Texts in logic and games ; v. 1.
Subjects:
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.
Conference papers and proceedings.
Online Access:Texto completo
Table of 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.

Similar Items