Logic, Rationality, and Interaction 8th International Workshop, LORI 2021 Xi'an, China, October 16–18, 2021 Proceedings

Preface
Organization
Abstracts
Logical Perspectives on Voting
Bridges Between Classical and Constructive Reasoning for Infinitary Logic
On Garffeld and Priest’s Interpretation of the Use of the Catuskoti in MMK
Intervention and Causal Conditionals in Causal Markov Categories
Contents
Approximating Approximate Reasoning: Fuzzy Sets and the Ershov Hierarchy
	1 Introduction
	2 Preliminaries
		2.1 Fuzzy Subsets
		2.2 Effective Reals
		2.3 The Classical Ershov Hierarchy
	3 Fuzzy Ershov Hierarchy
		3.1 The Hierarchy Does Not Collapse
		3.2 Boolean Combinations of Fuzzy C.E. Sets
		3.3 The Introduced Hierarchy Is Not Enough
	4 Concluding Remarks: Broadening the Fuzzy Ershov Hierarchy
		4.1 Counting Updates
		4.2 Going Transfinite
	References
Epistemic Planning with Attention as a Bounded Resource
	1 Introduction
	2 Attention in States and Actions
		2.1 Language
		2.2 Attention States
		2.3 Attention Actions
		2.4 No Free Lunch
	3 Emulation Results
		3.1 Attention States and Epistemic States
		3.2 Attention Actions and Epistemic Actions
	4 Epistemic Planning with Attention
	5 Final Remarks
	References
A Unified Approach to Semantic and Soritical Paradoxes
	1 Paradoxes and Three-Valued Logics
	2 Naïve Truth in Three-Valued Logics
	3 Vagueness in Three-Valued Logics
	4 Unifying the Paradoxes
	5 Conclusions
	References
Reasoning in Large Games with Unboundedly Many Players
	1 Background
		1.1 Contributions of This Paper
		1.2 Related Work
	2 Large Games
	3 The Modal Logic
		3.1 Examples
		3.2 Axiomatization and Decision Procedure
	4 Bisimulation
	5 First Order Extension
	6 Discussion
	References
Hypergraphs, Local Reasoning, and Weakly Aggregative Modal Logic
	1 Introduction
		1.1 Modal Logic Meets Hypergraphs
		1.2 Weakly Aggregative Modal Logics and Local Reasoning
	2 Semantics and Model Transformations
	3 Logics and Canonical Models
	4 Filtration and the Logic of Non-2-colorable Hypergraphs
	5 Conclusion
	References
Weighted Modal Logic in Epistemic and Deontic Contexts
	1 Introduction
	2 Minimal Logic
		2.1 Syntax and Semantics
		2.2 Axiomatization
	3 Weights as Epistemic Capability
		3.1 Axiomatization
	4 Weights as Deontic Capability
	5 Discussion and Conclusion
	References
Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers
	1 Introduction
	2 Some Definitions and Notions of Coalition Logic
	3 Dictatorial Dynamic Coalition Logic
		3.1 Granting Dictatorial Powers
		3.2 Revoking Dictatorial Powers
	4 Expressivity
	5 Discussion
	References
Crossing Hands in the Russian Cards Problem
	1 Introduction
	2 Setting the Stage
	3 A Crossing Six Hands Non-solution
	4 A Crossing Seven Hands Solution
		4.1 Continuations
		4.2 Why It Is a New Solution
	5 Discussion
	References
Voting Theory in the Lean Theorem Prover
	1 Introduction
	2 Framework
		2.1 Profiles
		2.2 Functions on Profiles
		2.3 Voting Axioms
	3 Theorems
		3.1 Graph-Theoretic Background
		3.2 Reasoning About Margins
		3.3 Example: Independence of Clones
	4 Conclusion
	References
Multi-agent Conformant Planning with Distributed Knowledge
	1 Introduction
	2 A Dynamic Epistemic Framework
	3 Planning as Model Checking
	4 Complexity
	5 Conclusions
	References
Discrete Linear Temporal Logic with Knowing-Value Operator
	1 Introduction
	2 Language and Semantic
	3 Axiom System
	4 Completeness of KLV
	References
A Generalization of Ordered-Pair Semantics
	1 Introduction
	2 Ordered-Pair Semantics for LP by Clemens
	3 A Generalization and Variations of Clemens' Semantics
	4 Intuitive Readings
	5 Concluding Remarks
	References
Social Bot Detection as a Temporal Logic Model Checking Problem
	1 Introduction
	2 Social Bots
	3 Temporal Network Logic (TNL)
		3.1 Language
		3.2 Models and Semantics
		3.3 Expressing Agent Properties
	4 From Real-Life Networks to TNL Models
		4.1 Assumptions
		4.2 Translation Algorithm
	5 Detection Formulas
		5.1 Posting False Information
		5.2 Bursty Nature
		5.3 Targeting
		5.4 Aggressive Following and Unfollowing
	6 Bot Detecting: Model Checking
	7 Conclusion and Future Directions
	References
On the Finite Model Property of Weak Intuitionistic Tense Logic
	1 Introduction
	2 Preliminaries
		2.1 Algebraic Semantics
		2.2 The Sequent Calculus for the Logic of wIK.t
	3 The Finite Model Property of the Logic of wIK.t
	References
Assertion, Rejection, and Semantic Universals
	1 Semantic Universals
	2 Bilateral Updates
		2.1 Outline of the Story
		2.2 Definitions
	3 System U
		3.1 Negative Collapse
		3.2 Further Results
	4 Classicality Strikes Back
	5 Conclusion
	References
Situated Epistemic Updates
	1 Introduction
	2 Situation Update and Epistemic Update
	3 The Monotonic Case: Intuitionistic Updates
	4 The Non-monotonic Case: Substructural Updates
	5 Conclusion
	References
How Knowledge Triggers Obligation
	1 Introduction
	2 Preliminaries
	3 Dynamic Epistemic Conditional Obligation
		3.1 Language and Semantics of LDKCDL
		3.2 Analysis of Scenarios 1, 2 and 3
	4 Information and Knowledge-Based Obligation
	5 Reduction and Axiomatization
		5.1 Axiomatization DKCDL
	6 Conclusion
	References
On Artemov and Protopopescu's Intuitionistic Epistemic Logic Expanded with Distributed Knowledge
	1 Introduction
	2 Syntax, Semantics and Hilbert Systems
		2.1 Hilbert Systems
	3 Sequent Calculi
	4 Semantic Completeness
		4.1 Semantic Completeness for Pseudo-models
		4.2 Tree Unraveling
	5 Further Direction
	References
Modelling Accuracy and Trustworthiness of Explaining Agents
	1 Introduction
	2 Background
		2.1 Markov Chains
		2.2 Hitting Probability in Markov Chains
	3 ATCTL
		3.1 Syntax
		3.2 ATCTL Semantics
	4 Model-Checking
		4.1  Fragment
		4.2  Fragment
	5 Example
	6 Conclusion
	References
Completeness Theorems for -Fragment of First-Order Modal Logic
	1 Introduction
	2 Syntax and Semantics
	3 Proof System
	4 Completeness over Increasing Domain Models
	5 Completeness over Constant Domain Models
	6 Future Work
	References
Representation Results for Non-cumulative Logics
	1 Introduction
	2 Representation for General Logics
		2.1 Preliminaries
		2.2 Abstract Models
		2.3 Representation for Preferential Models
		2.4 Representation for Choice Models
	3 Incorporating Classical Connectives
		3.1 Conjunction
		3.2 Negation
		3.3 Disjunction
	4 Conclusion and Future Work
	References
A Logic for Desire Based on Causal Inference
	1 Introduction
	2 Modelling Methods for Preference and Causality
		2.1 Modelling Methods for Preference
		2.2 Modelling Methods for Causality
	3 Modelling Desire by Combining the Two Approaches
	4 The Logic for Desire-Causality Models
	5 Discussion
	6 Conclusion
	References
Author Index