1119 | -- | 1121 | Manuel A. Martins 0001, Igor Sedlár. Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020) |
1122 | -- | 1151 | Natasha Alechina, Hans van Ditmarsch, Tim French 0002, Rustam Galimullin. The Expressivity of Quantified Group Announcements |
1152 | -- | 1185 | Fausto Barbero, Katrin Schulz, Fernando R. Velázquez-Quesada, Kaibo Xie. Observing interventions: a logic for thinking about experiments |
1186 | -- | 1215 | Gaia Belardinelli, Rasmus K. Rendsvig. Awareness logic: Kripke lattices as a middle ground between syntactic and semantic models |
1216 | -- | 1242 | Johan van Benthem, Lei Li, Chenwei Shi, Haoxuan Yin. Hybrid sabotage modal logic |
1243 | -- | 1269 | Christoph Benzmüller, Sebastian Reiche. Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy |
1270 | -- | 1300 | Thomas Bolander, Arnaud Lequen. Parameterized Complexity of Dynamic Belief Updates: A Complete Map |
1301 | -- | 1325 | Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro. Algebraic tools for default modal systems |
1326 | -- | 1349 | Diana Costa. 4DL: a four-valued dynamic logic and its proof theory |
1350 | -- | 1378 | Hans van Ditmarsch, Mo Liu 0002, Louwe B. Kuijer, Igor Sedlár. Almost APAL |
1379 | -- | 1398 | Oleg Grigoriev 0001, Yaroslav I. Petrukhin. Basic modal congruent and monotonic multilattice logics |
1399 | -- | 1436 | Ryo Hatano, Katsuhiko Sano. Three faces of recursion axioms: the case of constructive dynamic logic of relation changers |
1437 | -- | 1462 | Stepan L. Kuznetsov. Commutative action logic |
1463 | -- | 1496 | Emiliano Lorini, Pengfei Song. A computationally grounded logic of awareness |
1497 | -- | 1525 | Anthia Solaki. Actualizing distributed knowledge in bounded groups |