Skip to main content
SpringerLink
Log in

Logic, Rationality, and Interaction

8th International Workshop, LORI 2021, Xi'an, China, October 16-18, 2021, Proceedings

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. Sujata Ghosh

    1. Indian Statistical Institute, Chennai, India

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Thomas Icard

    1. Department of Philosophy, Stanford University, Stanford, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: LORI 2021.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 49.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 64.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (22 papers)

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  2. Approximating Approximate Reasoning: Fuzzy Sets and the Ershov Hierarchy

    • Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev, Luca San Mauro
    Pages 1-13

  3. Epistemic Planning with Attention as a Bounded Resource

    • Gaia Belardinelli, Rasmus K. Rendsvig
    Pages 14-30

  4. A Unified Approach to Semantic and Soritical Paradoxes

    • Riccardo Bruni, Lorenzo Rossi
    Pages 31-40

  5. Reasoning in Large Games with Unboundedly Many Players

    • Ramit Das, Anantha Padmanabha, R. Ramanujam
    Pages 41-57

  6. Hypergraphs, Local Reasoning, and Weakly Aggregative Modal Logic

    • Yifeng Ding, Jixin Liu, Yanjing Wang
    Pages 58-72

  7. Weighted Modal Logic in Epistemic and Deontic Contexts

    • Huimin Dong, Xu Li, Yì N. Wáng
    Pages 73-87

  8. Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers

    • Rustam Galimullin, Thomas Ågotnes
    Pages 88-101

  9. Crossing Hands in the Russian Cards Problem

    • Tor Hagland, Thomas Ågotnes
    Pages 102-110

  10. Voting Theory in the Lean Theorem Prover

    • Wesley H. Holliday, Chase Norman, Eric Pacuit
    Pages 111-127

  11. Multi-agent Conformant Planning with Distributed Knowledge

    • Yanjun Li
    Pages 128-140

  12. Discrete Linear Temporal Logic with Knowing-Value Operator

    • Kaiyang Lin
    Pages 141-148

  13. A Generalization of Ordered-Pair Semantics

    • Hitoshi Omori, Jonas R. B. Arenhart
    Pages 149-157

  14. Social Bot Detection as a Temporal Logic Model Checking Problem

    • Mina Young Pedersen, Marija Slavkovik, Sonja Smets
    Pages 158-173

  15. On the Finite Model Property of Weak Intuitionistic Tense Logic

    • Yu Peng, Zhe Lin, Fei Liang
    Pages 174-182

  16. Assertion, Rejection, and Semantic Universals

    • Giorgio Sbardolini
    Pages 183-191

  17. Situated Epistemic Updates

    • Igor Sedlár, Andrew Tedder
    Pages 192-200

  18. How Knowledge Triggers Obligation

    • Davide Grossi, Barteld Kooi, Xingchi Su, Rineke Verbrugge
    Pages 201-215

  19. On Artemov and Protopopescu’s Intuitionistic Epistemic Logic Expanded with Distributed Knowledge

    • Youan Su, Ryo Murai, Katsuhiko Sano
    Pages 216-231

  20. Modelling Accuracy and Trustworthiness of Explaining Agents

    • Alberto Termine, Giuseppe Primiero, Fabio Aurelio D’Asaro
    Pages 232-245
Back to top

Other volumes

  1. Logic, Rationality, and Interaction

Keywords

About this book

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 8th International Workshop on Logic, Rationality, and Interaction, LORI 2021, held in Xi`an, China, in October 2021.

The 15 full papers presented together with 7 short papers in this book were carefully reviewed and selected from 40 submissions. The workshop covers a wide range on the following topics such as doxastic and epistemic logics, deontic logic, intuitionistic and subsstructural logics, voting theory, and (a new

theme emphasized this year) causal inference.

Editors and Affiliations

  • Indian Statistical Institute, Chennai, India

    Sujata Ghosh

  • Department of Philosophy, Stanford University, Stanford, USA

    Thomas Icard

Bibliographic Information

  • Book Title: Logic, Rationality, and Interaction

  • Book Subtitle: 8th International Workshop, LORI 2021, Xi'an, China, October 16-18, 2021, Proceedings

  • Editors: Sujata Ghosh, Thomas Icard

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-030-88708-7

  • Publisher: Springer Cham

  • eBook Packages: Religion and Philosophy, Philosophy and Religion (R0)

  • Copyright Information: Springer Nature Switzerland AG 2021

  • Softcover ISBN: 978-3-030-88707-0Published: 04 October 2021

  • eBook ISBN: 978-3-030-88708-7Published: 03 October 2021

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIV, 289

  • Number of Illustrations: 36 b/w illustrations, 2 illustrations in colour

  • Topics: Logic

Publish with us

Policies and ethics

Societies and partnerships

Back to top

Search

Navigation