143 - 144 - | Dynamics in Logic Introduction ALLO, Patrick, POGGIOLESI, Francesca, SMETS, Sonja | abstract details download (open access) |
145 - 176 - | Don't Plan for the Unexpected Planning Based on Plausibility Models BIRKEGAARD ANDERSEN, Mikkel, BOLANDER, Thomas, HOLM JENSEN, Martin | abstract details download (open access) |
177 - 218 - | A Logic for Reasoning about Moral Agents LORINI, Emiliano | abstract details download (open access) |
219 - 249 - | A Soundness and Completeness Proof on Dialogs and Dynamic Epistemic Logic MAGNIER, Sébastien, DE LIMA, Tiago | abstract details download (open access) |
251 - 277 - | The Dynamics of Surprise DEMEY, Lorenz | abstract details download (open access) |
279 - 306 - | Common Knowledge A Finitary Calculus with a Syntactic Cut-elimination Procedure POGGIOLESI, Francesca, HILL, Brian | abstract details download (open access) |
307 - 346 - | Proof Theories for Superpositions of Adaptive Logics STRAßER, Christian, VAN DE PUTTE, Frederik | abstract details download (open access) |