Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings (Lecture Notes in Computer Science Book 11813)

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019. The 31 papers presented in this book were carefully reviewed and selected from 56 submissions. They focus on the following topics: agency; argumentation and agreement; belief revision and belief merging; belief representation; cooperation; decision making and planning; natural language; philosophy and philosophical logic; and strategic reasoning. -- Provided by publisher Front Matter ....Pages i-xxi On the Right Path: A Modal Logic for Supervised Learning (Alexandru Baltag, Dazhu Li, Mina Young Pedersen)....Pages 1-14 Elementary Iterated Revision and the Levi Identity (Jake Chandler, Richard Booth)....Pages 15-28 Undefinability in Inquisitive Logic with Tensor (Ivano Ciardelli, Fausto Barbero)....Pages 29-42 Minimal-Change Counterfactuals in Intuitionistic Logic (Ivano Ciardelli, Xinghan Liu)....Pages 43-56 Consolidation of Belief in Two Logics of Evidence (Yuri David Santos)....Pages 57-70 From Classical to Non-monotonic Deontic Logic Using ASPIC\(^+\) (Huimin Dong, Beishui Liao, Réka Markovich, Leendert van der Torre)....Pages 71-85 A Discrete Representation of Lattice Frames (Ivo Düntsch, Ewa Orłowska)....Pages 86-97 Group Announcement Logic with Distributed Knowledge (Rustam Galimullin, Thomas Ågotnes, Natasha Alechina)....Pages 98-111 Towards a Logic for Conditional Local Strategic Reasoning (Valentin Goranko, Fengkui Ju)....Pages 112-125 Multi-agent Knowing How via Multi-step Plans: A Dynamic Epistemic Planning Based Approach (Yanjun Li, Yanjing Wang)....Pages 126-139 The Sequent Systems and Algebraic Semantics of Intuitionistic Tense Logics (Kaiyang Lin, Zhe Lin)....Pages 140-152 Weakly Aggregative Modal Logic: Characterization and Interpolation (Jixin Liu, Yanjing Wang, Yifeng Ding)....Pages 153-167 Dynamic Term-Modal Logic for Epistemic Social Network Dynamics (Andrés Occhipinti Liberman, Rasmus K. Rendsvig)....Pages 168-182 Analyzing Echo Chambers: A Logic of Strong and Weak Ties (Mina Young Pedersen, Sonja Smets, Thomas Ågotnes)....Pages 183-198 Public Group Announcements and Trust in Doxastic Logic (Elise Perrotin, Rustam Galimullin, Quentin Canu, Natasha Alechina)....Pages 199-213 Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes (Carlo Proietti, Davide Grossi, Sonja Smets, Fernando R. Velázquez-Quesada)....Pages 214-229 Improving Judgment Reliability in Social Networks via Jury Theorems (Paolo Galeazzi, Rasmus K. Rendsvig, Marija Slavkovik)....Pages 230-243 Term-Sequence-Modal Logics (Takahiro Sawasaki, Katsuhiko Sano, Tomoyuki Yamada)....Pages 244-258 A Logical and Empirical Study of Right-Nested Counterfactuals (Katrin Schulz, Sonja Smets, Fernando R. Velázquez-Quesada, Kaibo Xie)....Pages 259-272 First Degree Entailment with Group Attitudes and Information Updates (Igor Sedlár, Vít Punčochář, Andrew Tedder)....Pages 273-285 Knowledge in Topological Argumentation Models (Chenwei Shi)....Pages 286-296 Towards a Logical Formalisation of Theory of Mind: A Study on False Belief Tasks (Anthia Solaki, Fernando R. Velázquez-Quesada)....Pages 297-312 A Two-Layer Partition Awareness Structure (Pengfei Song, Wei Xiong)....Pages 313-325 First-Order Intuitionistic Epistemic Logic (Youan Su, Katsuhiko Sano)....Pages 326-339 A Neutral Temporal Deontic STIT Logic (Kees van Berkel, Tim Lyon)....Pages 340-354 Evaluating Networks of Arguments: A Case Study in Mīmāṃsā Dialectics (Kees van Berkel, Agata Ciabattoni, Elisa Freschi, Sanjay Modgil)....Pages 355-369 Who Should Be My Friends? (Wiebe van der Hoek, Louwe B. Kuijer, Yì N. Wáng)....Pages 370-384 Epistemic Logic with Partial Dependency Operator (Xinyu Wang)....Pages 385-398 Knowledge-Now and Knowledge-All (Xinyu Wang, Yanjing Wang)....Pages 399-412 A Logic of Knowing How with Skippable Plans (Xun Wang)....Pages 413-424 A Dynamic Hybrid Logic for Followership (Zuojun Xiong, Meiyun Guo)....Pages 425-439 Back Matter ....Pages 441-441