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
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,829

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

Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings.Patrick Blackburn, Emiliano Lorini & Meiyun Guo (eds.) - 2019 - Springer.
Logic, Language, Information, and Computation: 27th International Workshop, Wollic 2021, Virtual Event, October 5–8, 2021, Proceedings.Alexandra Silva, Renata Wassermann & Ruy de Queiroz (eds.) - 2021 - Springer Verlag.
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 (eds.) - 2015 - Springer.
Examining Network Effects in an Argumentative Agent-Based Model of Scientific Inquiry.AnneMarie Borg, Daniel Frey, Dunja Šešelja & Christian Straßer - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). Springer. pp. 391--406.
Editorial Introduction: Selected Papers from the 2nd Workshop on Logic, Rationality and Interaction (LORI-II). [REVIEW]Eric Pacuit - 2012 - Journal of Philosophical Logic 41 (4):629-631.
Weakly Aggregative Modal Logic: Characterization and Interpolation.Jixin Liu, Yanjing Wang & Yifeng Ding - 2019 - In Patrick Blackburn, Emiliano Lorini & Meiyun Guo (eds.), Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings. Springer. pp. 153-167.
Logic and Argumentation: Fourth International Conference, CLAR 2021, Hangzhou, China, October 20–22.Pietro Baroni, Christoph Benzmüller & Yì N. Wáng (eds.) - 2021 - Springer.
Word Equations and Related Topics 1st International Workshop, Iwwert '90, Tübingen, Germany, October 1-3, 1990 : Proceedings'.Klaus U. Schulz - 1992 - Springer Verlag.
Diagrammatic Representation and Inference. 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings.A. Basu, G. Stapleton, S. Linker, C. Legg, E. Manalo & P. Viana (eds.) - 2021 - Springer.
Inductive Logic Programming: 7th International Workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997, Proceedings.Nada Lavrač & Saso Dzeroski - 1992 - Springer Verlag.
Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan).Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.) - 2017 - Springer.
Logic in Databases International Workshop Lid '96, San Miniato, Italy, July 1-2, 1996 : Proceedings'.Dino Pedreschi, Carlo Zaniolo & International Workshop on Logic in Databases - 1996 - Springer Verlag.
Tense Logic and Ontology of Time.Avril Styrman - 2021 - Emilio M. Sanfilippo Et Al, Eds., Proceedings of FOUST 2021: 5th Workshop on Foundational Ontology, Held at JOWO 2021: Episode VII The Bolzano Summer of Knowledge, September 11–18, 2021, Bolzano, Italy, CEURWS, Vol. 2969, 2021.
Causal Models and the Ambiguity of Counterfactuals.Kok Yong Lee - 2015 - In Wiebe van der Hoek, Wesley H. Holliday & Wen-Fang Wang (eds.), Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings. Springer. pp. 201-229.
Preface.Angela Potochnik - 2021 - Philosophy of Science 88 (5):759-760.

Analytics

Added to PP
2022-03-09

Downloads
22 (#708,419)

6 months
14 (#179,338)

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