Traditionally, logic has dealt with notions of truth and reasoning. In the past several decades, however, research focus in logic has shifted to the vast field of interactive logic—the domain of logics for both communication and interaction. The main applications of this move are logical approaches to games and social software; the wealth of these applications was the focus of the seventh Augustus de Morgan Workshop in November 2005. This collection of papers from the workshop serves as the initial volume in the new series Texts in Logics and Games—touching on research in logic, mathematics, computer science, and game theory. “A wonderful demonstration of contemporary topics in logic.”—Wiebe van der Hoek, University of Liverpool
Author(s): Johan van Benthem, Benedikt Lowe, Dov M. Gabbay
Series: Texts in Logic and Games, Volume 1
Publisher: Amsterdam University Press
Year: 2008
Language: English
Pages: 363
Table of Contents
......Page 6
Preface
......Page 8
Ch. 1:
A Compositional Game Semantics for Multi-Agent Logics of Partial Information......Page 12
Ch. 2:
Quantificational Modal Operators and Their Semantics......Page 50
Ch. 3: A Note on Kuhn's Theor
em......Page 72
Ch. 4: What Kind of Memory is Needed to Win Infinitary Muller Games?
......Page 90
Ch. 5: Logics of Imperfect Information: Why Sets of Assignments?
......Page 118
Ch. 6: Reasoning about Communication Graphs
......Page 136
Ch. 7: Epistemic Foundations for Backward Induction: An Overview
......Page 160
Ch. 8:
Multitape Games......Page 196
Ch. 9
: The Complexity of Schotland Yard......Page 210
Ch. 10
: Approaches to Independence Friendly Modal Logic......Page 248
Ch. 11: Team Logic
......Page 282
DEMO - A Demo of Epistemic Modelling
......Page 304
