Logic, rationality, and interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings /: 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings. (2019)

• Record Type: Book
• Other Titles: LORI 2019
• Further Information: Note: Patrick Blackburn, Emiliano Lorini, Meiyun Guo (eds.).
• Editors: Blackburn, Patrick, 1959-; Lorini, Emiliano; Guo, Meiyun
• Other Names: LORI (Workshop), 7th
• Contents: 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
• Publisher Details: Berlin, Germany : Springer
• Publication Date: 2019
• Extent: 1 online resource (xxi, 441 pages), illustrations (some color)
• Subjects: 005.1; Logic -- Congresses; Artificial intelligence -- Congresses; Electronic books; Electronic books
• Languages: English
• ISBNs: 9783662602928
• Related ISBNs: 366260292X; 9783662602911
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed October 15, 2019).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.