Dynamic epistemic logic in update logic

DOI10.1093/LOGCOM/EXW002zbMath1403.03024OpenAlexW2328968172MaRDI QIDQ2957972

Guillaume Aucher

Publication date: 31 January 2017

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01476249/file/JLC2016CameraReadyPart2.pdf

zbMATH Keywords

sequent calculusdynamic epistemic logicupdate logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (3)

Situated epistemic updates ⋮ To be announced ⋮ Dynamic Epistemic Logic as a Substructural Logic

This page was built for publication: Dynamic epistemic logic in update logic