Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

• Main Authors: Baltag, Alexandru, Seligman, Jeremy, 山田, 友幸
• Format: eBook Book
• Language: English
• Published: Netherlands Springer Nature 2017; Springer; Springer Berlin / Heidelberg
• Edition: 1
• Series: LNCS sublibrary. SL 1, Theoretical computer science and general issues
• Subjects: Logic devices > Congresses; Logic, Symbolic and mathematical > Congresses; Mathematics. General principles
• ISBN: 9783662556658; 3662556650; 3662556642; 9783662556641

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

Table of Contents:

• 4 Summary and Future Work -- References -- Topo-Logic as a Dynamic-Epistemic Logic -- 1 Introduction -- 2 Dynamic Topo-Logic: Syntax, Semantics and Axiomatization -- 3 Soundness and Expressivity -- 4 Completeness -- 5 Conclusions -- References -- Strategic Knowledge of the Past in Quantum Cryptography -- 1 Introduction -- 2 Protocol BB84 -- 3 SLKP -- 4 Modelling and Verifying BB84 into SLKP Framework -- 4.1 Modelling the Transmission -- 4.2 Formalising Eavesdroppings Attempts and Detection -- 4.3 Verification -- 5 Conclusion and Future Works -- References -- Enumerative Induction and Semi-uniform Convergence to the Truth -- 1 Introduction -- 2 Classic Convergence to the Truth -- 3 A New Convergence Concept in Learning Theory -- 4 Why It's a New Success Criterion -- A Convergence Generalized -- References -- How to Make Friends: A Logical Approach to Social Group Creation -- 1 Introduction -- 2 Modelling Social Networks -- 2.1 Similarity Update -- 2.2 Middleman Similarity Update -- 3 Epistemic Social Networks -- 3.1 Knowledge-Based Social Network Creation -- 3.2 Middleman Knowledge-Based Social Network Creation -- 4 Conclusions -- References -- Examining Network Effects in an Argumentative Agent-Based Model of Scientific Inquiry -- 1 Introduction -- 2 The Model -- 2.1 The Argumentative Landscape -- 2.2 Basic Behavior of Agents -- 2.3 Social Networks -- 3 The Main Findings -- 3.1 Parameters Used in Simulations -- 3.2 Results -- 4 Discussion -- 5 Conclusion -- References -- Substructural Logics for Pooling Information -- 1 Introduction -- 2 Motivation -- 3 Information Models -- 4 Communication Models -- 5 The Standard Framework as a Special Case -- 6 Conclusion -- References -- Logical Argumentation Principles, Sequents, and Nondeterministic Matrices -- 1 Introduction -- 2 Semi-abstract Argumentation -- 3 Logical Attack Principles
• 5 Comparison and Discussion -- References -- An Extended First-Order Belnap-Dunn Logic with Classical Negation -- 1 Introduction -- 2 Sequent Calculus and Strong Equivalence -- 3 Syntactical Embedding and Cut-Elimination -- 4 Semantical Embedding and Completeness for Valuation Semantics -- 5 Completeness for Many-Valued Semantics -- 6 Conclusion -- References -- A Characterization Theorem for Trackable Updates -- 1 Introduction -- 2 Plausibility and Evidence Models -- 3 Tracking -- 3.1 Examples of Tracking -- 3.2 Tracking as a Definability Problem -- 4 Characterizing Trackable Updates -- 5 Conclusions -- A Appendix: Application of Theorem2 -- References -- Convergence, Continuity and Recurrence in Dynamic Epistemic Logic -- 1 Introduction -- 2 Modal Spaces and Logical Convergence -- 3 Topologies on Modal Spaces -- 4 Clean Maps on Modal Spaces -- 5 Recurrence in the Limit Behavior of Clean Maps -- 6 Discussion and Future Venues -- References -- Dynamic Logic of Power and Immunity -- 1 Static Rights -- 2 Dynamic Rights -- 2.1 Core Model -- 2.2 Axiomatization and Reduction to Static Positions -- 3 Dynamic Normative Positions -- 4 Legal Ability and Legal Permissibility -- 4.1 Legal Ability -- 4.2 Legal Permissibility -- 5 Conclusion -- References -- A Propositional Dynamic Logic for Instantial Neighborhood Models -- 1 Introduction -- 2 Instantial Neighborhood Logic -- 2.1 Syntax and Semantics -- 2.2 Axiomatization -- 3 Test, Choice, Parallel Composition and Sequential Composition -- 3.1 Axiomatization -- 4 Iteration -- 4.1 The Language IPDL -- 4.2 Comparison with Dual-Free Game Logic -- 4.3 Axiomatization -- 5 Concluding Remarks -- References -- Contradictory Informationas a Basis for Rational Belief -- 1 Introduction -- 2 The Noise and the Signal -- 3 Beliefs Bases vs. Evidence Sets -- 4 Conclusion -- References -- Stability in Binary Opinion Diffusion
• Intro -- Preface -- Organization -- Contents -- Long Papers -- A Logical Framework for Graded Predicates -- 1 Introduction -- 2 Graded Predicates -- 3 Mathematical Fuzzy Logic -- 4 A Degree-Based Account of Vagueness -- 5 Modelling Graded Predicates in MFL -- 6 A General Program -- References -- Evidence Logics with Relational Evidence -- 1 Relational Evidence Models -- 2 The Logics of Ag-Models and lex-Models -- 3 The Logic of REL Models -- 4 Conclusions and Future Work -- References -- Rational Coordination with no Communication or Conventions -- 1 Introduction -- 2 Pure Win-Lose Coordination Games -- 2.1 The Setting -- 2.2 Presenting WLC Games as Hypergraphs -- 2.3 Symmetries of WLC Games and Structural Protocols -- 3 Purely Rational Principles in WLC Games -- 3.1 Basic Individual Rationality -- 3.2 Common Beliefs in Rationality and Iterated Reasoning -- 3.3 Basic Collective Rationality -- 3.4 Principles Using Optimal Choices -- 3.5 Elimination of Weakly Dominated Choices -- 3.6 Symmetry-Based Principles -- 3.7 Hierarchy of the Principles Presented so Far -- 3.8 Beyond the Limits of Pure Rationality -- 3.9 Characterising Structurally Unsolvable Games -- 4 Concluding Remarks -- References -- Towards a Logic of Tweeting -- 1 Introduction -- 2 Propositional Network Announcements -- 2.1 A Simple Example -- 2.2 Conditional Tweeting and Relational Semantics -- 2.3 Potential Belief, and Tracking Ghosts -- 3 The Logic -- 3.1 The Modal Base -- 3.2 Duality and Sincerity -- 3.3 Rational Conservative Updating -- 3.4 Following -- 3.5 Network Stability -- 4 Completeness -- 5 Variants -- 5.1 Irreflexivity -- 5.2 Coherence -- 6 Discussion -- References -- Multi-Path vs. Single-Path Replies to Skepticism -- 1 The Skeptic's Argument -- 2 Single-path Fallibilism and Its Problems -- 3 Holliday's Multi-path Approach -- 4 Single-path Approach Revisited
• 4 Argumentative Consequence
• 1 Introduction -- 2 Preliminaries -- 2.1 Binary Aggregation -- 2.2 Winning and Veto Coalitions -- 2.3 Opinion Diffusion as Binary Aggregation on Networks -- 3 Networks, Aggregators and Neighborhoods -- 3.1 Neighborhood Structures for Aggregation on Networks -- 3.2 Stabilization in Neighborhood Structures -- 3.3 A Fixpoint Logic for Stability -- 4 Instantiations -- 4.1 Boolean DeGroot Processes -- 4.2 Unanimity Processes -- 5 Conclusions -- References -- Quotient Dynamics: The Logic of Abstraction -- 1 Introduction -- 2 Quotient-Taking as a Model Transformer -- 3 Special Case: Logics of Filtrations -- 4 The Logic of Abstraction -- 5 Further Generalizations and Variations -- References -- The Dynamics of Group Polarization -- 1 Introduction -- 2 Argumentation Frameworks and Multi-agent Scenarios -- 2.1 A Multi-agent Debate -- 2.2 Degree of Acceptability -- 3 Information Transmission and Information Update -- 3.1 Information Transmission -- 3.2 Information Update -- 4 Results -- 5 Conclusions -- References -- Doing Without Nature -- 1 Introduction -- 2 Preliminaries: Group STIT -- 2.1 The Language of Group STIT -- 2.2 Choice Models -- 2.3 Normal Game Models -- 2.4 A Correspondence Result -- 3 Informal Sketch of the Proof -- 4 Product Construction, Finite Case -- 5 Product Construction, Infinite Case -- 6 Concluding Remarks -- References -- Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus -- 1 Introduction -- 2 Syntax and Two-Dimensional Kripke Semantics -- 3 Tree Sequent Calculus of Epistemic Logic of Friendship -- 4 Semantic Completeness of Tree Sequent Calculus of Epistemic Logic of Friendship -- 5 Hilbert System of Epistemic Logic of Friendship -- 6 Extensions of Epistemic Logic of Friendship -- 7 Further Directions -- References -- The Dynamic Logic of Stating and Asking: A Study of Inquisitive Dynamic Modalities
• 1 Introduction -- 2 Inquisitive Epistemic Logic -- 3 Uttering Statements and Questions -- 4 Normal Form -- 5 Reduction -- 6 Axiomatizing IDEL -- 7 Conclusion and Outlook -- Appendix 1. Proof of the reduction law for E -- Appendix 2. Proof of completeness via !Comp and !Mon -- References -- The Stubborn Non-probabilist---`Negation Incoherence' and a New Way to Block the Dutch Book Argument -- 1 Introduction -- 2 Details -- 3 Discussion -- 4 How to Expect Things When You Are Incoherent -- 4.1 Conclusions -- 5 Relation to Incoherence and Inaccuracy Measures: Some Preliminary Remarks -- References -- Conjunction and Disjunction in Infectious Logics -- 1 Introduction -- 1.1 Background, Motivation and Aim -- 1.2 Preliminaries -- 2 Infectious Logics: An Overview -- 2.1 Paracomplete Case -- 2.2 Paraconsistent Case -- 3 Plurivalent Semantics: Basics -- 3.1 General Plurivalent Semantics -- 3.2 Positive Plurivalent Semantics -- 3.3 Yet Another Plurivalent Semantics: Negative Plurivalence -- 4 Reflections -- 4.1 On Infectious Values in Plurivalent Semantics -- 4.2 Addressing the Main Question -- 5 Conclusion -- References -- On the Concept of a Notational Variant -- 1 Introduction -- 2 Defining Translations -- 3 Translating First-Order Logic into Propositional Logic -- 4 Compositionality and Schematicity -- 5 Conclusion -- A Proof of Theorem21 -- References -- Conditional Doxastic Logic with Oughts and Concurrent Upgrades -- 1 Introduction -- 2 The Static Logic of Plausibility-Betterness Models -- 3 The Dynamic Logic of Concurrent Upgrades -- 4 Axiom System -- 5 Modeling the Stolen Wallet Scenario -- 6 Different Senses of Oughts -- 7 Multi-agent Extension and Deliberating Societies -- References -- On Subtler Belief Revision Policies -- 1 Introduction -- 2 Preliminaries: Representing Beliefs and Belief Change -- 3 Three Subtle Belief Revision Policies