Logic, Rationality, and Interaction

5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings

  • Wiebe van der Hoek
  • Wesley H. Holliday
  • Wen-fang Wang
Conference proceedings LORI 2015

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9394)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Guillaume Aucher, Johan van Benthem, Davide Grossi
    Pages 1-13
  3. Geghard Bedrosian, Alessandra Palmigiano, Zhiguang Zhao
    Pages 27-39
  4. Thomas Bolander, Nina Gierasimczuk
    Pages 40-52
  5. Eddy Keming Chen, Daniel Rubio
    Pages 53-63
  6. Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Apostolos Tzimoulis
    Pages 64-76
  7. María Esteban, Alessandra Palmigiano, Zhiguang Zhao
    Pages 77-89
  8. Haim Gaifman, Yang Liu
    Pages 90-101
  9. Konstantinos Georgatos
    Pages 102-115
  10. Sujata Ghosh, Tamoghna Halder, Khyati Sharma, Rineke Verbrugge
    Pages 116-128
  11. Sujata Ghosh, Fernando R. Velázquez-Quesada
    Pages 129-142
  12. Peter Hawke, Shane Steinert-Threlkeld
    Pages 143-155
  13. Andreas Herzig, Emiliano Lorini, Faustine Maffre
    Pages 156-168
  14. Fengkui Ju, Nana Cui, Shujiao Li
    Pages 169-181
  15. Dominik Klein, Norbert Gratzl, Olivier Roy
    Pages 195-206
  16. Minghui Ma, Jeremy Seligman
    Pages 255-267
  17. Alessandra Marra, Dominik Klein
    Pages 268-281
  18. Thomas Raleigh
    Pages 308-315
  19. David Ripley
    Pages 328-340
  20. Xin Sun
    Pages 341-352
  21. Jeremy Seligman, Declan Thompson
    Pages 353-365
  22. Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su
    Pages 366-378
  23. Yanjing Wang
    Pages 392-405
  24. Benja Fallenstein, Jessica Taylor, Paul F. Christiano
    Pages 411-415
  25. Aaron Hunter
    Pages 416-420
  26. Brian Kim
    Pages 421-425
  27. Zeinab Bakhtiarinoodeh, Umberto Rivieccio
    Pages 426-428
  28. Xin Sun, Diego Agustín Ambrossio
    Pages 429-434
  29. Back Matter
    Pages 439-439

About these proceedings


FoLLI-LNCS is the publication platform for the Association of Logic, Language and Information (FoLLI, The Association was founded in 1991 to advance research and education on the interface between logic, linguistics, computer science, and cognitive science. The FoLLI Publications on Logic, Language and Information aim to disseminate results of cutting-edge research and tutorial materials in these interdisciplinary areas.   

This LNCS volume  is part of FoLLi book serie and contains the papers presented at the 5th International Workshop on Logic, Rationality and Interaction/ (LORI-V), held in October 2015 in Taipei, Taiwan. 
The topics covered in this program well represent the span and depth that has
by now become a trademark of the LORI workshop series, where logic interfaces
with disciplines as diverse as game theory and decision theory, philosophy
and epistemology, linguistics, computer science and artificial intelligence.


Mathematical Logic Formal Languages Mathematical Logic and Foundations Discrete Mathematics Symbolic and Algebraic Manipulation Theory of Computation

Editors and affiliations

  • Wiebe van der Hoek
    • 1
  • Wesley H. Holliday
    • 2
  • Wen-fang Wang
    • 3
  1. 1.Dept of Comp SciUniv of LiverpoolLiverpoolUnited Kingdom
  2. 2.Department of PhilosophyGroup in Logic & the Methodology of Sci. University of CaliforniaBerkeleyUSA
  3. 3.Institute of Philosophy of Mind and CognitionNational Yang-Ming UniversityTaipeiTaiwan

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2015
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-662-48560-6
  • Online ISBN 978-3-662-48561-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software