Interactive Logic

by Van Benthem, Johan; Gabbay, Dov; Lowe, Benedikt

• ISBN13: 9789053563564
• ISBN10: 9053563563
• Format: Paperback
• Copyright: 2008-11-15
• Publisher: Amsterdam Univ Pr

Summary

"Traditionally, logic has dealt with zero-agent notions of truth and one-agent of reasoning. In the last decades, research focus in logic has shifted from these topics to the vast field of interactive logic, encompassing logics of communication and interaction. The main applications of this move to multi-agent notions are logical approaches to games and social software. The wealth of applications in these areas was the focus of the 7th Augustus de Morgan Workshop in November 2005. At this workshop, the idea of the new book series, Texts in Logic and Games was born, and so it is very appropriate that this collection of papers from the workshop is now published as the first volume of the new series."--BOOK JACKET.

Author Biography

Johan van Benthem is professor of logic and its applications at the University of Amsterdam and professor of philosophy at Stanford University. Dov Gabbay is the Augustus de Morgan Professor of Logic at King’s College, London. Benedikt Löwe is assistant professor at the Institute for Logic, Language and Computation at the University of Amsterdam and director of its graduate program in logic.

Table of Contents

A Compositional Game Semantics for Multi-Agent Logics of Partial Information	p. 11
Quantificational Modal Operators and Their Semantics	p. 49
A Note on Kuhn's Theorem	p. 71
What Kind of Memory is Needed to Win Infinitary Muller Games?	p. 89
Logics of Imperfect Information: Why Sets of Assignments?	p. 117
Reasoning about Communication Graphs	p. 135
Epistemic Foundations for Backward Induction: An Overview	p. 159
Multitape Games	p. 195
The Complexity of Scotland Yard	p. 209
Approaches to Independence Friendly Modal Logic	p. 247
Team Logic	p. 281
DEMO - A Demo of Epistemic Modelling	p. 303
Table of Contents provided by Blackwell. All Rights Reserved.