Logic, Rationality, and Interaction: 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings (Lecture Notes in Computer Science)

✍ Scribed by Natasha Alechina (editor), Andreas Herzig (editor), Fei Liang (editor)

• Publisher: Springer
• Year: 2023
• Tongue: English
• Leaves: 344
• Category: Library

✦ Synopsis

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 9th International Workshop on Logic, Rationality, and Interaction, LORI 2023, held in Jinan, China, in October 2023.

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 agency; argumentation and agreement; belief

representation; probability and uncertainty; belief revision and belief merging; knowledge

and action; dynamics of informational attitudes; intentions, plans, and goals; decision

making and planning; preference and utility; cooperation; strategic reasoning and

game theory; epistemology; social choice; social interaction; speech acts; knowledge

representation; norms and normative systems; natural language; rationality; philosophical

logic.

✦ Table of Contents

Preface
Organization
Abstract of Invited Talks
Parametrized Modal Logic III: Applications to Social Epistemic Logics
Knowledge, Propositional Quantification and Hybrid Logic
From Dynamic Epistemic Logic to Socially Intelligent Robots
On Epistemic Reasoning in Games on Graphs
Cut Elimination in Gentzen Sequent Calculi for Classical Tense Logics
The Hindsight via the Consequent
Contents
An Inferential Theory of Causal Reasoning
1 Causal Theories and Their Semantics
2 Causal Inference
2.1 Causal Vs. Semantic Equivalence
2.2 Causal Inference Vs. Deductive Consequence
3 Supraclassical Causal Reasoning
4 Defaults in Causal Reasoning
5 Pearl's Causal Models and Basic Inference
5.1 Counterfactual Equivalence
5.2 Basic Causal Inference
6 Classical Causal Inference and Causal Worlds
7 Conclusions
References
Indicative Conditionals in Awareness Framework
1 Motivation
2 From Awareness to Relevance
3 Logic of Awareness Conditional LAC
4 Principles Valid in LAC
5 Principles Invalid in LAC
6 Axiomatization
7 Variants, Comparison and Conclusion
References
A Logical Description of Priority Separable Games
1 Introduction
2 Our Model
2.1 Background
2.2 Priority Separable Games
3 Computing Nash Equilibria in Priority Separable Games
4 Monadic Least Fixed Point Logic
4.1 Syntax
4.2 Semantics
5 Expressing Nash Equilibria in MLFP
6 Unboundedly Many Players
7 Discussion
References
Modal Logics with Non-rigid Propositional Designators
1 Introduction
2 Formal Language and Semantics
3 Axiomatization for Multi-agent K
4 Axiomatization for Single Agent S5
5 Conclusion
References
An Arrow-Based Dynamic Logic of Normative Systems and Its Decidability
1 Introduction
2 Language and Semantics
3 Example: Self-driving Cars
4 Satisfiability Problem
4.1 Tableau Method
4.2 Soundness and Completeness
5 Conclusion
References
Connexivity Meets Church and Ackermann
1 Introduction
2 Technical Preliminaries
3 Ackermannian Falsity Constants and Our First Connexive Logic
4 The Second Churchian Connexive Logic
5 Connexive Stability
6 Conclusions
References
Unknown Truths and Unknowable Truths
1 Introduction
2 Syntax and Semantics
3 Logical Properties
3.1 Similarities
3.2 Interactions
4 Axiomatization and Completeness
5 Conclusion and Discussion
References
A Characterization of Lewisian Causal Models
1 Introduction
2 Preliminaries
3 Characterizing Lewisian Causal Models
4 Axiomatization
5 Conclusion
References
The Expressive Power of Revised Datalog on Problems with Closure Properties
1 Introduction
2 Preliminaries
3 Datalogr on Problems with Closure Properties
3.1 Revised Datalog Programs
3.2 Invariant Relations on Perfect Binary Trees
3.3 Tree Encodings and Characteristic Structures
3.4 Nondefinability Results for Datalogr
4 Conclusion
References
Of Temporary Coalitions in Terms of Concurrent Game Models, Announcements, and Temporal Projection
1 Preliminaries
2 From CGMs to CGMs with Negotiation
3 From NCGMs to Honest Play CGMs
4 Writing Player Objectives for NCGMs
References
Epistemic Monadic Boolean Algebras
1 Introduction
2 Monadic Boolean Algebras
3 Epistemic Monadic Algebras
4 Relativizations of Epistemic Monadic Algebras
5 Concluding Remarks
References
Knowing the Value of a Predicate
1 Introduction
2 Preliminaries
3 Axiom Systems About KvP Operator
3.1 Axiom Systems MSELKVP1 and MAELKVP1 for LELKvP1
3.2 Axiom Systems MSELKV1 and MAELKV1 for LELKvdP1
4 Conclusion and Future Work
References
Metaphor Comprehension in Situations
1 Introduction
2 Background
3 Logic of Metaphor Comprehension
3.1 Syntax
3.2 Semantics
4 Conclusion
References
A Temporal Logic for Successive Events
1 Introduction
2 Syntax and Semantics
3 Expressivity
4 Discussion
4.1 Succinctness
4.2 Comparison with Interval-Based Temporal Logic
5 Conclusion
References
Non-labelled Sequent Calculi of Public Announcement Expansions of K45 and S5
1 Introduction
2 Preliminaries
3 Sequent Calculi
3.1 Sequent Calculi G(K45) and G(S5)
3.2 Sequent Calculi G(K45PAL) and G(S5PAL)
4 Cut-Elimination for G(K45PAL)
5 Extended Analytic Cut Property of G(S5PAL)
6 Conclusion
A Proof of Lemma 3
References
On the Finite Model Property of Non-normal Modal Logics
1 Introduction
2 Algebra
3 Sequent Calculus
4 Finite Model Property
5 Concluding Remark
References
Belief Base: A Minimal Logic of Fine-Grained Information Dynamics
1 Introduction
2 Language
3 Semantics
4 Axiomatics
5 Dynamics of Belief and Awareness
5.1 Operation Definitions
5.2 Scenarios
6 Conclusion and Perspectives
References
Hyperintensionality in Relevant Logics
1 Introduction
2 Classifying Contexts
3 Hyperintensionality
4 Discussion
References
Reasons in Weighted Argumentation Graphs
1 Introduction
2 (Normative) Weight Scales
3 Normative Graphs
4 Weighing Functions
5 Results and Related Work
References
Making Norms and Following Norms
1 Introduction
2 Preliminaries
3 Betterness Structures Based on Ideality Sequences
4 Making Norms: Generating Normative Systems
5 The Logic PCDL
5.1 Language and Semantics
5.2 Axiomatization
6 Successful Updates and Jørgensen's Dilemma
6.1 Successful Updates
6.2 Resolving Jørgensen's Dilemma
7 Related Work and Conclusion
References
Aggregating Credences into Beliefs: Threshold-Based Approaches
1 Introduction: Binarizing Belief Aggregation
2 Classification of Threshold-Based Rules
3 Properties of Threshold-Based Rules
4 Characterizations of Threshold-Based Rules
5 Conclusion
References
Cooperation Mechanisms for the Prisoner's Dilemma with Bayesian Games
1 Introduction
2 Bayesian Games
3 Mechanisms with Bayesian Games
4 Conclusion
References
Belief Revision with Satisfaction Measure
1 Introduction
2 Preliminaries
2.1 Language
2.2 Prime Implicates and Prime Implicants
3 A Brief Review of Belief Revision
3.1 AGM Postulates
3.2 Distance Measure
4 Satisfaction Measure for Revision
4.1 Partial Satisfaction of Terms
4.2 Satisfaction Function
5 Comparison
5.1 Satisfaction vs. Distance
5.2 An Example with Five Operators
5.3 Remarks
6 Conclusion and Future Work
References
A Formal Analysis of Hollis' Paradox
1 Introduction
2 Background
2.1 Epistemic Logic
2.2 Public Announcement Logic
2.3 Axioms
3 A Semantic Analysis
4 A Syntactic Analysis
4.1 Describing the Initial Situation
4.2 Simplifying Announcements
4.3 I Know that She Does Not Have 1
4.4 But I Don't Know that She Does Not Have 2
4.5 Dealing with Infinite Disjunction
5 Discussion
References
Author Index