Logic, Rationality, and Interaction

Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

  • Hans van Ditmarsch
  • Jérôme Lang
  • Shier Ju
Conference proceedings LORI 2011

DOI: 10.1007/978-3-642-24130-7

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6953)

Table of contents (37 papers)

  1. Front Matter
  2. Logical Dynamics of Evidence
    Johan van Benthem, Eric Pacuit
    Pages 1-27
  3. Dynamic Restriction of Choices: Synthesis of Societal Rules
    Soumya Paul, R. Ramanujam
    Pages 28-50
  4. Agreeing to Disagree with Limit Knowledge
    Christian W. Bach, Jérémie Cabessa
    Pages 51-60
  5. Schematic Validity in Dynamic Epistemic Logic: Decidability
    Wesley H. Holliday, Tomohiro Hoshi, Thomas F. Icard III
    Pages 87-96
  6. Knowledge and Action in Semi-public Environments
    Wiebe van der Hoek, Petar Iliev, Michael Wooldridge
    Pages 97-110
  7. Update Semantics for Imperatives with Priorities
    Fengkui Ju, Fenrong Liu
    Pages 125-138
  8. A Measure of Logical Inference and Its Game Theoretical Applications
    Mamoru Kaneko, Nobu-Yuki Suzuki
    Pages 139-150
  9. Partial Semantics of Argumentation
    Beishui Liao, Huaxin Huang
    Pages 151-164
  10. DEL Planning and Some Tractable Cases
    Benedikt Löwe, Eric Pacuit, Andreas Witzel
    Pages 179-192
  11. Mathematics of Public Announcements
    Minghui Ma
    Pages 193-205
  12. Logics of Belief over Weighted Structures
    Minghui Ma, Meiyun Guo
    Pages 206-219
  13. Game Semantics for the Geiger-Paz-Pearl Axioms of Independence
    Pavel Naumov, Brittany Nicholls
    Pages 220-232
  14. Algebraic Foundations for Inquisitive Semantics
    Floris Roelofsen
    Pages 233-243
  15. A Dynamic Analysis of Interactive Rationality
    Eric Pacuit, Olivier Roy
    Pages 244-257
  16. Seeing, Knowledge and Common Knowledge
    François Schwarzentruber
    Pages 258-271

About these proceedings

Introduction

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Third International Workshop on Logic, Rationality, and Interaction, LORI 2011, held in Guangzhou, China, in October 2011. The 25 revised full papers presented together with 12 posters were carefully reviewed and selected from 52 submissions. Among the topics covered are semantic models for knowledge, for belief, and for uncertainty; dynamic logics of knowledge, information flow, and action; logical analysis of the structure of games; belief revision, belief merging; logics and preferences, compact preference representation; logics of intentions, plans, and goals; logics of probability and uncertainty; logical approaches to decision making and planning; argument systems and their role in interaction; norms, normative interaction, and normative multiagent systems; and logical and computational approaches to social choice.

Keywords

classical logic distributed knowledge measurement theory representation theorem semantics

Editors and affiliations

  • Hans van Ditmarsch
    • 1
  • Jérôme Lang
    • 2
  • Shier Ju
    • 3
  1. 1.University of SevillaSevillaSpain
  2. 2.Université Paul Sabatier, IRITToulouse Cedex 04France
  3. 3.Institute of Logic and Cognition, Department of PhilosophySun Yat-sen UniversityGuangzhouChina

Bibliographic information

  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-24129-1
  • Online ISBN 978-3-642-24130-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349