scientific article
From MaRDI portal
Publication:3086938
zbMath1244.03058MaRDI QIDQ3086938
Hans P. van Ditmarsch, Tim French
Publication date: 30 March 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logics of knowledge and belief (including belief change) (03B42) Decidability of theories and sets of sentences (03B25)
Related Items (21)
The undecidability of quantified announcements ⋮ Arbitrary arrow update logic ⋮ The undecidability of arbitrary arrow update logic ⋮ Putting right the wording and the proof of the Truth Lemma forAPAL ⋮ Propositional quantification in logics of contingency ⋮ To be announced ⋮ Arbitrary public announcement logic with memory ⋮ Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard ⋮ Unnamed Item ⋮ Arrow update synthesis ⋮ Unnamed Item ⋮ Refinement modal logic ⋮ Exploring the tractability border in epistemic tasks ⋮ ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ ⋮ True lies ⋮ Positive announcements ⋮ The complexity of one-agent refinement modal logic ⋮ Announcement as effort on topological spaces ⋮ Branching-Time Temporal Logics with Minimal Model Quantifiers ⋮ Alternating-Time Temporal Announcement Logic ⋮ Refinement Quantified Logics of Knowledge
This page was built for publication:
