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