A completeness proof in full DDL
From MaRDI portal
Publication:4803973
DOI10.12775/LLP.2001.005zbMath1028.03016MaRDI QIDQ4803973
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
03B45: Modal logic (including the logic of norms)
03B42: Logics of knowledge and belief (including belief change)
Related Items
DDL as an “Internalization” of Dynamic Belief Revision, Interrogative belief revision in modal logic