Pages that link to "Item:Q2898469"
From MaRDI portal
The following pages link to Public announcement logic in geometric frameworks (Q2898469):
Displaying 22 items.
- Some topological properties of paraconsistent models (Q484905) (← links)
- On axiomatizations of public announcement logic (Q484925) (← links)
- Private announcements on topological spaces (Q1653649) (← links)
- Topo-logic as a dynamic-epistemic logic (Q1679771) (← links)
- Announcement as effort on topological spaces (Q2053358) (← links)
- Public announcement logic in HOL (Q2055768) (← links)
- Public announcements, public lies and recoveries (Q2093030) (← links)
- Realizing public announcements by justifications (Q2453578) (← links)
- Comments to `Logics of public communications' (Q2460186) (← links)
- Graded epistemic logic with public announcement (Q2669241) (← links)
- Public Announcements, Private Actions and Common Knowledge in S5 Structures (Q2859111) (← links)
- Topological Subset Space Models for Public Announcements (Q3299575) (← links)
- (Q3384060) (← links)
- LOGIC AND TOPOLOGY FOR KNOWLEDGE, KNOWABILITY, AND BELIEF (Q3389490) (← links)
- Tableaux for Public Announcement Logic (Q3406684) (← links)
- Expressivity and completeness for public update logics via reduction axioms (Q3647272) (← links)
- Public announcements, public assignments and the complexity of their logic (Q4583171) (← links)
- (Q5015398) (← links)
- (Q5016796) (← links)
- Łukasiewicz Public Announcement Logic (Q5117203) (← links)
- How to update neighbourhood models (Q5222682) (← links)
- Truth diagrams for some non-classical and modal logics (Q6650730) (← links)
