Publication:3086938
From MaRDI portal
zbMath1244.03058MaRDI QIDQ3086938
Hans P. van Ditmarsch, Tim French
Publication date: 30 March 2011
03B42: Logics of knowledge and belief (including belief change)
03B25: Decidability of theories and sets of sentences
Related Items
Putting right the wording and the proof of the Truth Lemma forAPAL, Propositional quantification in logics of contingency, Unnamed Item, To be announced, True lies, The undecidability of quantified announcements, Arbitrary arrow update logic, Refinement modal logic, Exploring the tractability border in epistemic tasks, The complexity of one-agent refinement modal logic, Positive announcements, Announcement as effort on topological spaces, Arrow update synthesis, The undecidability of arbitrary arrow update logic, Arbitrary public announcement logic with memory, Refinement Quantified Logics of Knowledge, Alternating-Time Temporal Announcement Logic, Unnamed Item, ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’, Branching-Time Temporal Logics with Minimal Model Quantifiers