Logique et Analyse

Dynamics in Logic

Volume 230
2015


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)