Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings

• Main Authors: Blackburn, Patrick, Lorini, Emiliano, Guo, Meiyun
• Format: eBook
• Language: English
• Published: Netherlands Springer Nature 2019; Springer Berlin / Heidelberg; Springer
• Edition: 1
• Series: Lecture Notes in Computer Science (11813)
• Subjects: Logic, Symbolic and mathematical-Congresses; Mathematics. General principles
• ISBN: 9783662602928; 366260292X; 3662602911; 9783662602911

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

Table of Contents:

• 5 Conclusion and Further Direction
• 3.2 The Logic of Conditional Strategic Reasoning ConStR -- 4 Bisimulations and Expressiveness of ConStR -- 4.1 Bisimulations for CSR -- 4.2 Some Remarks on Expressiveness and Definability -- 5 Concluding Remarks: The Road Ahead -- References -- Multi-agent Knowing How via Multi-step Plans: A Dynamic Epistemic Planning Based Approach -- 1 Introduction -- 2 Preliminaries -- 3 Logic of Knowing How -- 4 An Alternative Semantics -- 5 Completeness -- 6 Conclusions -- References -- The Sequent Systems and Algebraic Semantics of Intuitionistic Tense Logics -- 1 Introduction -- 2 Algebraic Semantics and Sequent System -- 3 Cut Elimination -- 4 Extensions and Structure Criterion -- References -- Weakly Aggregative Modal Logic: Characterization and Interpolation -- 1 Introduction -- 2 Preliminaries -- 2.1 Weakly Aggregative Modal Logic -- 3 Characterization via Bisimulation -- 4 Interpolation -- 5 Conclusion -- References -- Dynamic Term-Modal Logic for Epistemic Social Network Dynamics -- 1 Introduction -- 2 Models and Languages for Epistemic Social Networks -- 2.1 Term-Modal Logic and Epistemic Network Structures -- 2.2 Knowing Who and Knowledge De Dicto and De Re -- 2.3 Dynamics: Action Models and Product Update -- 2.4 Announcements De Dicto and De Re -- 2.5 Postconditions and Network Change -- 2.6 Learning Who -- 3 Embedding Dynamic Social Network Logics in DTML -- 3.1 Embedding Static Languages and Models -- 3.2 KDL Dynamic Transformations and Learning Updates in DTML -- 4 Final Remarks -- References -- Analyzing Echo Chambers: A Logic of Strong and Weak Ties -- 1 Introduction -- 2 Tied Logic -- 2.1 Language and Semantics -- 2.2 Strong Triadic Closure and Local Bridges -- 2.3 Axiomatization -- 2.4 Soundness and Completeness -- 2.5 Homophily -- 3 Adding Knowledge and Dynamics -- 3.1 Language and Semantics -- 3.2 Possible Axioms -- 3.3 Validities
• 1 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&amp -- P to FVEL Models -- 4.2 From FVEL to B&amp -- 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 Logics -- 4 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 -- 2.4 The Positive Fragment -- 3 Ability, Announcements, and Group Knowledge -- 4 Proof System for GALD -- 4.1 Axiomatisation of GALD -- 4.2 Completeness -- 5 Resolved Distributed Knowledge -- 5.1 First Step Towards the Relative Expressivity of GALR and GALD -- 6 Conclusions and Future Work -- References -- Towards a Logic for Conditional Local Strategic Reasoning -- 1 Introduction -- 2 Conditional Strategic Reasoning: An Informal Discussion -- 2.1 Conditional Reasoning of an Observer About an Agent's Actions -- 2.2 Conditional Reasoning of an Agent About Another Agent's Actions -- 3 A Logic for Conditional Strategic Reasoning -- 3.1 Preliminaries
• 3.4 Example -- 4 Conclusion and Future Work -- References -- Public Group Announcements and Trust in Doxastic Logic -- 1 Introduction -- 2 Syntax -- 3 Semantics -- 3.1 Belief States and Trust Models -- 3.2 Contradictions -- 3.3 Update of Trust -- 3.4 Update of Belief Bases -- 3.5 Examples -- 3.6 Semantics -- 4 Announcements by Groups and Coalitions -- 5 Axiomatization -- 5.1 The First Set of Axioms -- 5.2 Trust and Announcement -- 5.3 Belief and Announcement -- 5.4 Completeness -- 6 A Simple Example: Of Bad Influences and the Importance of Speaking Out -- 7 Discussion -- 7.1 On the Choice of Dynamics -- 7.2 Sequential and Simultaneous Announcements -- 8 Conclusions and Future Work -- References -- Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes -- 1 Introduction -- 2 Argumentation Frameworks -- 2.1 Bipolar Argumentation Frameworks -- 3 Modal Logics for Bipolar Argumentation -- 4 Bipolarity and Semantic Paradoxes -- 5 Conclusions -- References -- Improving Judgment Reliability in Social Networks via Jury Theorems -- 1 Introduction -- 2 Social Networks and Diffusion -- 3 Voting and a Jury Theorem -- 4 Assessing Independence -- 5 Jury Finding Problems -- 5.1 Optimal Juries -- 5.2 Error-Diminishing Juries -- 5.3 Incrementally Improved Juries -- 5.4 Monotonic Juries -- 5.5 Inflationary Juries -- 6 Conclusion -- References -- Term-Sequence-Modal Logics -- 1 Introduction -- 2 Syntax of Term-Sequence-Modal Logics -- 3 Kripke Semantics for Term-Sequence-Modal Logics -- 4 Hilbert Systems for Term-Sequence-Modal Logics -- 5 Strong Completeness of Term-Sequence-Modal Logics -- 5.1 Strong Completeness of Hilbert Systems for TSMLs Without Any Bn axiom schema -- 5.2 Strong Completeness of H(tS51L1) -- 6 Sequent Calculi for Term-Sequence-Modal Logics -- 7 Conclusion -- References -- A Logical and Empirical Study of Right-Nested Counterfactuals
• 1 Introduction -- 2 The Interventionist Approach to Counterfactuals -- 3 Fisher's Criticism -- 4 An Empirical Study on Fisher's Counterexamples -- 4.1 Method and Participants -- 4.2 Results and Discussion -- 5 The Non-strict-intervention -- 5.1 Fisher's Counter-Examples Revisited -- 5.2 The Axiomatization for the Logic -- 6 Discussion and Conclusions -- References -- First Degree Entailment with Group Attitudes and Information Updates -- 1 Introduction -- 2 FDE with Group Epistemic Operators -- 2.1 Group Language and Group Frames -- 2.2 Informal Interpretation -- 2.3 Completeness and Decidability -- 3 Almost Arbitrary Information Updates -- 4 Conclusion -- A Proofs -- References -- Knowledge in Topological Argumentation Models -- 1 Introduction -- 2 Grounds in Topological Argumentation Model -- 3 Logic of Argument, Belief and Knowledge -- 3.1 Syntax and Semantics -- 3.2 Knowledge and Belief Based on Ground -- 4 A Fine-Grained Analysis of No False Lemmas -- 5 Discussion and Future Work -- References -- Towards a Logical Formalisation of Theory of Mind: A Study on False Belief Tasks -- 1 Introduction -- 2 Visibility in a Temporal Setting -- 3 On Modelling Mental Attribution Scenarios -- 3.1 Detailed Examples -- 3.2 Comparison with Other Proposals for Mental Attributions -- 4 Summary and Ongoing/Future Work -- References -- A Two-Layer Partition Awareness Structure -- 1 Introduction -- 2 Basic Idea and Semantics -- 3 A Comparison -- 4 Axiomatization -- 5 Conclusion -- References -- First-Order Intuitionistic Epistemic Logic -- 1 Introduction -- 2 Kripke Semantics and Hilbert Systems of First-Order Intuitionistic Epistemic Logics -- 3 Sequent Calculi for First-Order Intuitionistic Epistemic Logics -- 3.1 The Systems of G(QIEL-) and G(QIEL) -- 3.2 The Cut Elimination Theorems -- 4 Completeness Theorems of First-Order Intuitionistic Epistemic Logics
• 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 SLL -- 3.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 Work -- References -- 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 Evidence