Pages that link to "Item:Q3406684"
From MaRDI portal
The following pages link to Tableaux for Public Announcement Logic (Q3406684):
Displayed 16 items.
- Announcements to attentive agents (Q302225) (← links)
- Reasoning dynamically about what one says (Q408344) (← links)
- Reflecting on social influence in networks (Q1698338) (← links)
- Recapturing dynamic logic of relation changers via bounded morphisms (Q2021560) (← links)
- A four-valued dynamic epistemic logic (Q2228448) (← links)
- From single agent to multi-agent via hypersequents (Q2392010) (← links)
- Tableau-based decision procedure for logic of knowing-how via simple plans (Q2695519) (← links)
- Intuitionistic Layered Graph Logic (Q2817944) (← links)
- Tableau Method and NEXPTIME-Completeness of DEL-Sequents (Q2825404) (← links)
- Generalized DEL-Sequents (Q2915058) (← links)
- An Epistemic Separation Logic (Q2947467) (← links)
- Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators (Q3178281) (← links)
- Reasoning about knowledge and messages in asynchronous multi-agent systems (Q4559603) (← links)
- Revising a Labelled Sequent Calculus for Public Announcement Logic (Q5213671) (← links)
- A public announcement separation logic (Q5377700) (← links)
- DYNAMIC CONSEQUENCE AND PUBLIC ANNOUNCEMENT (Q5414136) (← links)