Dynamic Logic. New Trends and Applications: Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020, Revised Selected Papers

Preface
Organization
Contents
Expedition in the Update Universe
	1 Introduction
	2 Dynamic Epistemic Logic
		2.1 Epistemic Models
		2.2 Event Models
		2.3 Product Update
		2.4 DEL
	3 Analyzing the Structure of Events
		3.1 The `Barrel' Example
		3.2 The `Traffic Lights' Example
	4 The Update Universe
		4.1 Event Structure
		4.2 A Generic Product Update
	5 Discussion
	References
Thinking About Causation: A Causal Language with Epistemic Operators
	1 Introduction
	2 The Standard Causal Modelling Approach
	3 Limitations of the Standard System
	4 Epistemic Causal Models
	5 Axiomatization
	6 Discussion
	7 Conclusions
	References
Awareness Logic: A Kripke-Based Rendition of the Heifetz-Meier-Schipper Model
	1 Introduction
	2 The HMS Model
		2.1 Syntax-Free Unawareness
		2.2 HMS Models
	3 Kripke Lattice Models
	4 Moving Between HMS Models and Kripke Lattices
		4.1 From HMS Models to Kripke Lattice Models
		4.2 From Kripke Lattice Models to HMS Models
	5 Language for Awareness and Model Equivalence
		5.1 HMS Models as a Semantics
		5.2 Kripke Lattice Models as a Semantics
		5.3 The Equivalence of HMS and Kripke Lattice Models
	6 The HMS Logic of Kripke Lattice Models with Equivalence Relations
	7 Concluding Remarks
	References
Dealing with Unreliable Agents in Dynamic Gossip
	1 Introduction
	2 Related Work
	3 Dynamic Gossip
	4 Unreliable Gossip
	5 Unreliable Agents
	6 Unreliable Success
		6.1 LNS Is Not Reliably Successful on Sun Graphs
		6.2 Blocking Unreliable Agents Hides and Helps Them
	7 Discussion and Conclusion
	References
Belief Based on Inconsistent Information
	1 Introduction
	2 Preliminaries
		2.1 Some Bilattices and MV Algebras
		2.2 Belnap-Dunn Logic
		2.3 Non-standard Probabilities
		2.4 Aggregating Probabilities
	3 Two-Layer Logics
		3.1 Logic of Probabilistic Belief
		3.2 Logic of Monotone Coherent Belief
	4 Conclusion and Further Directions
	References
Parameterized Complexity of Dynamic Belief Updates
	1 Introduction
	2 Background
		2.1 Dynamic Epistemic Logic
		2.2 Parameterized Complexity
		2.3 Dynamic Belief Update
	3 Complexity Results
	4 Discussion and Future Work
	References
Default Modal Systems as Algebraic Updates
	1 Introduction
	2 Background
		2.1 Boolean Algebra in a Nutshell
		2.2 Modal Systems
		2.3 Algebraizing Modal Systems
	3 Default Modal Logic
		3.1 Default Modal Systems
		3.2 Deducibility in Default Modal Systems
		3.3 Towards an Algebraic Treatment of Default Modal Systems
	4 On Defaults as Model Updates
	5 Final Remarks
	References
Expressivity of Some Versions of APAL
	1 Introduction
	2 Syntax and Semantics: SAPAL, SCAPAL, QIPAL
	3 Modal Properties of the Quantifiers
		3.1 SAPAL and FSAPAL
		3.2 SCAPAL
		3.3 QIPAL and IPAL
	4 Expressivity
		4.1 APAL  FSAPAL and APAL  SCAPAL
		4.2 SCAPAL  APAL and FSAPAL  APAL
		4.3 SCAPAL  FSAPAL
		4.4 IPAL
	5 Substructural Implication, PAL and IPAL
	6 Conclusions and Further Research
	References
Constructive Dynamic Logic of Relation Changers
	1 Introduction
	2 Dynamic Logic of Relation Changers
		2.1 Syntax and Kripke Semantics
		2.2 Hilbert-style Axiomatization
	3 Constructive Dynamic Logic of Relation Changers
	4 Completeness of Constructive Dynamic Logic of Relation Changers with Recursion Strategy
		4.1 Completeness of HCPDL- by Canonical Model Construction
		4.2 Relative Completeness of HCDLRC to HCPDL- by Recursion Axioms
	5 Completeness of Constructive Dynamic Logic of Relation Changers without Recursion Strategy
		5.1 Bounded Morphisms and Extended Models
		5.2 Completeness of HCDLRC via Extended Canonical Model
	6 Conclusion
	References
Complexity of Commutative Infinitary Action Logic
	1 Introduction
	2 Proof Theory for CommACT
	3 10-hardness of CommACT
	4 Concluding Remarks
	References
Grounding Awareness on Belief Bases
	1 Introduction
	2 Language
	3 Semantics
		3.1 Multi-agent Belief-Awareness Base Semantics
		3.2 Notional Model Semantics
		3.3 Quasi-model Semantics
		3.4 Equivalence Results
	4 Axiomatization
	5 Relationship with Logic of Propositional Awareness
	6 Conclusion
	References
Ecumenical Modal Logic
	1 Introduction
	2 The System LEci
	3 Ecumenical Modalities
		3.1 Normal Modal Logics
		3.2 An Ecumenical View of Modalities
	4 A Labeled System for EK
		4.1 Cut-Elimination for labEK
	5 Axiomatization and Semantics
		5.1 Ecumenical Birelational Models
	6 Extensions
	7 Discussion and Conclusion
	References
Inquisitive Dynamic Epistemic Logic in a Non-classical Setting
	1 Introduction
	2 The Object Language
	3 Substructural Inquisitive Epistemic Logic
	4 The Dynamics
	5 Conclusion
	References
Public Announcement Logic in HOL
	1 Introduction
	2 Classical Higher-Order Logic
	3 Public Announcement Logic
	4 Modeling PAL as a Fragment of HOL
		4.1 Shallow Semantical Embedding
		4.2 Encoding into Isabelle/HOL
	5 Experiments
		5.1 Proving Axioms and Rules of Inference of PAL in HOL
		5.2 Exploring Failures of Uniform Substitution
		5.3 Example Application: The Wise Men Puzzle
	6 Comparison with Related Work
	7 Conclusion
	References
Bounded Multi-agent Reasoning: Actualizing Distributed Knowledge
	1 Introduction
	2 The Framework
		2.1 Syntax
		2.2 Resource-Sensitive Epistemic Models
		2.3 Resolution
		2.4 Inference
	3 Discussion
	4 Reduction and Axiomatization
		4.1 Reduction and Static Axiomatization
		4.2 Dynamic Axiomatization
	5 Conclusions and Future Work
	References
Simpler Completeness Proofs for Modal Logics with Intersection
	1 Introduction
	2 Preliminaries
	3 A Simple Completeness Proof for S5
	4 Logics over L
	5 Logics over L
	6 Discussion
	References
Arbitrary Propositional Network Announcement Logic
	1 Introduction
	2 Propositional Network Announcement Logic
	3 Arbitrary Propositional Network Announcement Logic
		3.1 Logical Properties
		3.2 Non-compactness
	4 Proof System
		4.1 Axiomatisation and Soundness
		4.2 Completeness
	5 Discussion
	References
Author Index