Accepted Papers
-
Deductive Systems for Dynamic Quantum Logic
Tomoaki Kawano
-
Satisfaction-based Probabilistic Hoare Logic With While Loop: Weakest Precondition and Relative Completeness
Xin Sun, Xingchi Su, Xiaoning Bian and Anran Cui
- Virtual Group Knowledge and Group Belief in Topological Evidence Models
- Learning about causation: dynamic epistemic modal logic with causal awareness
-
Dynamic logic for interrogative epistemology
Alexandru Baltag and Wessel Kroon
-
On Fuzzy topological semantics
Muhammad Afaq Khan and Manuel A. Martins
- Completeness and Decidability of Protocol-Dependent Knowledge in Gossip
-
Hybrid Logic with Moving Names
Yiwen Ding, Krishna Balajirao Manoorkar, Ni Wayan Switrayni and Apostolos Tzimoulis
- Dynamic Logic of Product Relation Changers
- A dynamic logic of subjective belief
-
Weakest Precondition and Relative Completeness of Some Fragments of Probabilistic Relational Hoare Logic
Xin Sun, Zhiguang Zhao and Alina Mingalieva
-
Dynamic epistemic logic with private communication
Kun Zhang and Zuojun Xiong