Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings [Book Review]

& (eds.)
Springer Verlag (2021)
  Copy   BIBTEX

Abstract

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 causal inference.

Categories

Keywords

Reprint years

ISBN(s)

9783030887070   9783030887087   3030887073

DOI

10.1007/978-3-030-88708-7

Other Versions

No versions found

View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,061

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

Approximating Approximate Reasoning: Fuzzy Sets and the Ershov Hierarchy.  (pages 1-13)Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev & Luca San Mauro
Epistemic Planning with Attention as a Bounded Resource.  (pages 14-30)Gaia Belardinelli & Rasmus K. Rendsvig
A Unified Approach to Semantic and Soritical Paradoxes.  (pages 31-40)Riccardo Bruni & Lorenzo Rossi
Reasoning in Large Games with Unboundedly Many Players.  (pages 41-57)Ramit Das, Anantha Padmanabha & R. Ramanujam
Hypergraphs, Local Reasoning, and Weakly Aggregative Modal Logic.  (pages 58-72)Yifeng Ding, Jixin Liu & Yanjing Wang
Weighted Modal Logic in Epistemic and Deontic Contexts.  (pages 73-87)Huimin Dong, Xu Li & Yì N. Wáng
Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers.  (pages 88-101)Rustam Galimullin & Thomas Ågotnes
Crossing Hands in the Russian Cards Problem.  (pages 102-110)Tor Hagland & Thomas Ågotnes
Voting Theory in the Lean Theorem Prover.  (pages 111-127)Wesley H. Holliday, Chase Norman & Eric Pacuit
Multi-agent Conformant Planning with Distributed Knowledge.  (pages 128-140)Yanjun Li
Discrete Linear Temporal Logic with Knowing-Value Operator.  (pages 141-148)Kaiyang Lin
A Generalization of Ordered-Pair Semantics.  (pages 149-157)Hitoshi Omori & Jonas R. B. Arenhart
Social Bot Detection as a Temporal Logic Model Checking Problem.  (pages 158-173)Mina Young Pedersen, Marija Slavkovik & Sonja Smets
On the Finite Model Property of Weak Intuitionistic Tense Logic.  (pages 174-182)Yu Peng, Zhe Lin & Fei Liang
Assertion, Rejection, and Semantic Universals.  (pages 183-191)Giorgio Sbardolini
Situated Epistemic Updates.  (pages 192-200)Igor Sedlár & Andrew Tedder
How Knowledge Triggers Obligation.  (pages 201-215)Davide Grossi, Barteld Kooi, Xingchi Su & Rineke Verbrugge
On Artemov and Protopopescu’s Intuitionistic Epistemic Logic Expanded with Distributed Knowledge.  (pages 216-231)Youan Su, Ryo Murai & Katsuhiko Sano
Modelling Accuracy and Trustworthiness of Explaining Agents.  (pages 232-245)Alberto Termine, Giuseppe Primiero & Fabio Aurelio D’Asaro
Completeness Theorems for ∃□\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\exists \Box $$\end{document}-Fragment of First-Order Modal Logic. [REVIEW]  (pages 246-258)Xun Wang
Representation Results for Non-cumulative Logics.  (pages 259-272)Xuefeng Wen & Xincheng Luo
A Logic for Desire Based on Causal Inference.  (pages 273-287)Kaibo Xie & Jialiang Yan

Similar books and articles

On the Finite Model Property of Weak Intuitionistic Tense Logic.Yu Peng, Zhe Lin & Fei Liang - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 174-182.
Representation Results for Non-cumulative Logics.Xuefeng Wen & Xincheng Luo - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 259-272.
Weighted Modal Logic in Epistemic and Deontic Contexts.Huimin Dong, Xu Li & Yì N. Wáng - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 73-87.
Multi-agent Conformant Planning with Distributed Knowledge.Yanjun Li - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 128-140.
Hypergraphs, Local Reasoning, and Weakly Aggregative Modal Logic.Yifeng Ding, Jixin Liu & Yanjing Wang - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 58-72.
Epistemic Planning with Attention as a Bounded Resource.Gaia Belardinelli & Rasmus K. Rendsvig - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 14-30.
A Generalization of Ordered-Pair Semantics.Hitoshi Omori & Jonas R. B. Arenhart - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 149-157.
Situated Epistemic Updates.Igor Sedlár & Andrew Tedder - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 192-200.
Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers.Rustam Galimullin & Thomas Ågotnes - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 88-101.
How Knowledge Triggers Obligation.Davide Grossi, Barteld Kooi, Xingchi Su & Rineke Verbrugge - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 201-215.

Analytics

Added to PP
2022-03-09

Downloads
31 (#691,457)

6 months
6 (#747,634)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references