Introduces direct belief contraction on unconstrained Kripke models in DEL, shows it satisfies some but not all contraction properties, and gives sound complete axiomatizations for the logic and its extension to private announcements.
Syn- these 190(Suppl 1), pp
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.LO 2verdicts
UNVERDICTED 2representative citing papers
Introduces PAL with Boolean Definitions as a conservative extension of Public Announcement Logic that separates knowledge of truth values from knowledge of meanings, with a claimed complete axiomatization.
citing papers explorer
-
Belief Contraction in Dynamic Epistemic Logic
Introduces direct belief contraction on unconstrained Kripke models in DEL, shows it satisfies some but not all contraction properties, and gives sound complete axiomatizations for the logic and its extension to private announcements.
-
How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions
Introduces PAL with Boolean Definitions as a conservative extension of Public Announcement Logic that separates knowledge of truth values from knowledge of meanings, with a claimed complete axiomatization.