The following pages link to (Q4636028):
Displaying 15 items.
- Algebraic semantics and model completeness for intuitionistic public announcement logic (Q393906) (← links)
- On axiomatizations of public announcement logic (Q484925) (← links)
- Implicit and explicit stances in logic (Q2000675) (← links)
- Public announcement logic in HOL (Q2055768) (← links)
- Situated epistemic updates (Q2148833) (← links)
- Populational announcement logic (PPAL) (Q2219080) (← links)
- Linear temporal public announcement logic: a new perspective for reasoning about the knowledge of multi-classifiers (Q2689320) (← links)
- Relevant epistemic logic with public announcements and common knowledge (Q2695524) (← links)
- Tableaux for Public Announcement Logic (Q3406684) (← links)
- Public announcements, public assignments and the complexity of their logic (Q4583171) (← links)
- A Hybrid Public Announcement Logic with Distributed Knowledge (Q4917078) (← links)
- Łukasiewicz Public Announcement Logic (Q5117203) (← links)
- A public announcement separation logic (Q5377700) (← links)
- Intuitionistic public announcement logic with distributed knowledge (Q6562369) (← links)
- Non-labelled sequent calculi of public announcement expansions of \textbf{K45} and \textbf{S5} (Q6562545) (← links)
