A completeness proof in full DDL

DOI10.12775/LLP.2001.005zbMath1028.03016OpenAlexW2072009148MaRDI QIDQ4803973

Krister Segerberg

Publication date: 22 January 2004

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.12775/llp.2001.005

zbMATH Keywords

completenessAGMdynamic doxastic logig

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)

Related Items (2)

DDL as an “Internalization” of Dynamic Belief Revision ⋮ Interrogative belief revision in modal logic

This page was built for publication: A completeness proof in full DDL