-
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
Alexandru Baltag, Malvin Gattinger and Djanira Gomes
-
Learning about causation: dynamic epistemic modal logic with causal awareness
Nina Gierasimczuk, Hermine J. Grosinger and Katrine B. P. Thoft
-
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
Hans van Ditmarsch, Malvin Gattinger and Wouter J. Smit
-
Hybrid Logic with Moving Names
Yiwen Ding, Krishna Balajirao Manoorkar, Ni Wayan Switrayni and Apostolos Tzimoulis
-
Dynamic Logic of Product Relation Changers
Ryo Hatano, Pimolluck Jirakunkanok and Katsuhiko Sano
-
A dynamic logic of subjective belief
Tim French
-
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