Logic, Rationality, and Interaction : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings

by He, Xiangdong; Horty, John; Pacuit, Eric

• ISBN13: 9783642048920
• ISBN10: 3642048927
• Edition: 1st
• Format: Paperback
• Copyright: 2009-11-01
• Publisher: Springer-Verlag New York Inc

Summary

The FoLLI LNAI subline aims to disseminate cutting-edge results in logic, language and information (LLI) research, development and education. LLI is the topical focus of FoLLI, the Association of Logic, Language and Information (www.folli.org).

Table of Contents

Contributed Papers
Expressing Properties of Coalitional Ability under Resource Bounds	p. 1
Dynamic Context Logic	p. 15
Toward a Dynamic Logic of Questions	p. 27
A General Family of Preferential Belief Removal Operators	p. 42
Computing Compliance	p. 55
Attributing Distributed Responsibility in Stit Logic	p. 66
Characterizations of Iterated Admissibility Based on PEGL	p. 76
Can Doxastic Agents Learn? On the Temporal Structure of Learning	p. 90
Agreement Theorems in Dynamic-Epistemic Logic: Extended Abstract	p. 105
Learning and Teaching as a Game: A Sabotage Approach	p. 119
First-Order Logic Formalisation of Arrow's Theorem	p. 133
Twelve Angry Men: A Study on the Fine-Grain of Announcements	p. 147
Dynamic Testimonial Logic	p. 161
From the Logical Point of View: The Chain Store Paradox Revisited	p. 180
A Cooperation Logic for Declaration Structures	p. 189
Intentions and Assignments	p. 198
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together	p. 212
Dynamic Epistemic Logic of Finite Identification	p. 227
An Epistemic Logic for Planning with Trials	p. 238
Obligations in a Responsible World	p. 251
Dynamic Epistemic Temporal Logic	p. 263
Measurement-Theoretic Foundation of Preference-Based Dyadic Deontic Logic	p. 278
An Update Operator for Strategic Ability	p. 292
Strategy Elimination in Games with Interaction Structures	p. 302
Posters
The Logic of Knowledge-Based Cooperation in the Social Dilemma	p. 316
Getting Together: A Unified Perspective on Modal Logics for Coalitional Interaction	p. 317
Oppositional Logic	p. 319
Deliberate Contrary-to-Law Action	p. 320
Mono-Agent Dynamics	p. 321
Modal Expressivity and Definability over Sets	p. 323
Dynamic Logics for Explicit and Implicit Information	p. 325
Existence of Satisfied Alternative and the Occurring of Morph-Dictator	p. 327
Author Index	p. 329
Table of Contents provided by Ingram. All Rights Reserved.