%{search_type} search results

• Logic
• Rationality
• Epistemology
• Cognitive Science
• Causality
• Game Theory
• Voting Theory
• Philosophy of Logic

• Logic
• Rationality
• Epistemology
• Cognitive Science
• Causality
• Game Theory
• Voting Theory
• Philosophy of Logic.

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.

• Intro; Preface; Organization; Abstract of Invited Talks; The Dynamics of Group Knowledge and Belief; Argument-Based Paraconsistent Logics; Realism, Simplicity, and Topology; Reasoning in Dynamic Games: From Rationality to Rationalization; Understanding Equilibrium Properties of Multi-agent Systems; Beyond Knowing that: A New Generation of Epistemic Logics; Contents; On the Right Path: A Modal Logic for Supervised Learning; 1 Introduction; 2 Modal Logic of Supervised Learning (SLL); 2.1 Language and Semantics; 2.2 Application: Winning Strategies in SLG; 2.3 Preliminary Observations

• 3 Expressive Power of SLL3.1 First-Order Translation; 3.2 Bisimulation and Characterization for SLL; 4 Model Checking and Satisfiability for SLL; 5 Conclusion and Future Work; References; Elementary Iterated Revision and the Levi Identity; 1 Introduction; 2 Preliminaries; 2.1 Single-Step Change; 2.2 Iterated Change; 3 Elementary Revision Operators; 4 Extending the Levi Identity; 4.1 A Proposal Involving Rational Closure; 4.2 Nayak et al.'s `New Levi Identity'; 4.3 Rational Closure and the New Levi Identity; 5 Is Iterated Revision Reducible to Iterated Contraction?

• 6 Conclusions and Further WorkReferences; Undefinability in Inquisitive Logic with Tensor; 1 Introduction; 2 Definability and Eliminability; 3 Inquisitive Logic with Tensor Disjunction; 4 Eliminability; 5 Independence of the Connectives; 5.1 Undefinability of; 5.2 Undefinability of; 6 Conclusion; References; Minimal-Change Counterfactuals in Intuitionistic Logic; 1 Introduction; 2 Counterfactuals in Intuitionistic Kripke Semantics; 3 Minimal Change Conditions; 4 Axiomatization; 5 Canonical Model Construction; 6 Conclusion and Outlook; References

• Consolidation of Belief in Two Logics of Evidence1 Introduction; 2 A Multi-agent Logic of Evidence; 3 A Consolidation Operation; 3.1 Definitions; 3.2 Examples; 3.3 Properties; 3.4 A Unified Language for Evidence and Beliefs; 4 Equivalence Between Evidence Models; 4.1 From B & P to FVEL Models; 4.2 From FVEL to B & P Models; 4.3 Evaluating the Conversions; 5 Comparing Consolidations; 6 Conclusion; References; From Classical to Non-monotonic Deontic Logic Using ASPIC+; 1 Using ASPIC+ to Design Non-monotonic Deontic Logics; 2 Running Example: Free-Choice Permission

• 3 Step
• 1: Arguments Based on Two Monotonic Logics4 Step
• 2: Preferences Among Arguments; 5 Step
• 3: Designing Non-monotonic Logics; 6 Related Work; 7 Summary and Concluding Remarks; References; A Discrete Representation of Lattice Frames; 1 Introduction; 2 Notation and First Definitions; 3 Urquhart's Lattice Representation; 4 Modal Definability of Doubly Ordered Frames; 5 Representability of Lattice Frames; 6 Summary and Outlook; References; Group Announcement Logic with Distributed Knowledge; 1 Introduction; 2 Background; 2.1 Languages; 2.2 Models and Bisimulation; 2.3 Semantics of GALD

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.

• Agency.- Argumentation and Agreement.- Belief Revision and Belief Merging.- Belief Representation.- Cooperation, Decision Making and Planning.- Natural Language.- Philosophy and Philosophical Logic.- Strategic Reasoning.
• (source: Nielsen Book Data)

This LNCS volume is part of FoLLI book serie and contains the papers presented at the 6th International Workshop on Logic, Rationality and Interaction/ (LORI-VI), held in September 2017 in Sapporo, Japan. The focus of the workshop is on 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. .
(source: Nielsen Book Data)

• Full Papers
• Boolean Games with Epistemic Goals / Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek and Michael Wooldridge
• Minimal Preference Change / Natasha Alechina, Fenrong Liu and Brian Logan
• The Topology of Belief, Belief Revision and Defeasible Knowledge / Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün and Sonja Smets
• Plan Recognition, Indefinites, and the Semantics-Pragmatics Boundary / Hsiang-Yun Chen
• A Semantic Model for Interrogatives Based on Generalized Quantifiers and Bilattices / Ka-Fat Chow
• A Two-Tiered Formalization of Social Influence / Zoé Christoff and Jens Ulrik Hansen
• A Unified Epistemic Analysis of Iterated Elimination Algorithms from Regret Viewpoint / Jianying Cui and Xudong Luo
• Listen to Me! Public Announcements to Agents That Pay Attention -- or Not / Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini and François Schwarzentruber
• An Offer You Cannot Refuse: Obtaining Efficiency and Fairness in Preplay Negotiation Games with Conditional Offers / Valentin Goranko and Paolo Turrini.

• Sequent Calculi for Multi-modal Logic with Interaction / Norbert Gratzl
• Dynamic Epistemic Logic Displayed / Giuseppe Greco, Alexander Kurz and Alessandra Palmigiano
• Cellular Games, Nash Equilibria, and Fibonacci Numbers / Kristine Harjes and Pavel Naumov
• Reasoning about Actions Meets Strategic Logics / Andreas Herzig, Emiliano Lorini and Dirk Walther
• A Dynamic Deontic Logic Based on Histories / Fengkui Ju and Li Liang
• Sequent Systems for Nondeterministic Propositional Logics without Reflexivity / Louwe B. Kuijer
• How to Update Neighborhood Models / Minghui Ma and Katsuhiko Sano
• The Logic of Priori and a Posteriori Rationality in Strategic Games / Meiyun Guo and Jeremy Seligman
• Proof Theory, Semantics and Algebra for Normative Systems / Xin Sun
• Explicit and Implicit Knowledge in Neighbourhood Models / Fernando R. Velázquez-Quesada
• Expressivity Hierarchy of Languages for Epistemic Awareness Models / Fernando R. Velázquez-Quesada.

• Public Announcements, Private Actions and Common Knowledge in S5 Structures / Yì N. Wáng and Thomas Ågotnes
• Logic Aggregation / Xuefeng Wen and Hu Liu
• The Task Model of Court Investigation in a Multi-agent System of Argumentation in Court / Qiaoting Zhong, Xudong Luo, Frans H. van Eemeren and Fan Huang
• Short Papers
• A Deontic Action Logic for Complex Actions / Huimin Dong and Xiaowu Li
• Planning Using Dynamic Epistemic Logic: Correspondence and Complexity / Martin Holm Jensen
• Judgment Aggregation with Abstentions: A Hierarchical Approach / Guifei Jiang, Dongmo Zhang and Xiaojia Tang
• A Note on Bayesian Games / Yang Liu
• A Logic for Extensive Games with Short Sight / Chanjuan Liu, Fenrong Liu and Kaile Su
• Aggregated Beliefs and Informational Cascades / Rasmus K. Rendsvig
• Dynamic Attitudes, Fixed Points and Minimal Change / Ben Rodenhäuser
• Logic of Evidence-based Knowledge / Chenwei Shi
• Backward Induction Is PTIME-complete / Jakub Szymanik
• On Fuzzy Propositional Logic with Different Negations / Shengli Zhang.

This book collects the papers presented at the 4th International Workshop on Logic, Rationality and Interaction/ (LORI-4), held in October 2013 at the /Center for the Study of Language and Cognition, Zhejiang University, Hangzhou, China. LORI is a series that brings together researchers from a variety of logic-related fields: Game and Decision Theory, Philosophy, Linguistics, Computer Science and AI. This year had a special emphasis on Norms and Argumentation. Out of 42 submissions, 23 full papers and 11 short contributions have been selected through peer-review for inclusion in the workshop program and in this volume. The quality and diversity of these contributions witnesses a lively, fast-growing, and interdisciplinary community working at the intersection of logic and rational interaction.