Pages that link to "Item:Q3406684"

The following pages link to Tableaux for Public Announcement Logic (Q3406684):

Displaying 25 items.

• Announcements to attentive agents (Q302225) (← links)
• Reasoning dynamically about what one says (Q408344) (← links)
• What will they say? -- Public announcement games (Q542137) (← links)
• Reflecting on social influence in networks (Q1698338) (← links)
• Model checking against arbitrary public announcement logic: a first-order-logic prover approach for the existential fragment (Q1742627) (← links)
• Recapturing dynamic logic of relation changers via bounded morphisms (Q2021560) (← links)
• Public announcement logic in HOL (Q2055768) (← links)
• A four-valued dynamic epistemic logic (Q2228448) (← links)
• From single agent to multi-agent via hypersequents (Q2392010) (← links)
• Graded epistemic logic with public announcement (Q2669241) (← links)
• Linear temporal public announcement logic: a new perspective for reasoning about the knowledge of multi-classifiers (Q2689320) (← 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)
• Model checking for coalition announcement logic (Q3119277) (← links)
• Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators (Q3178281) (← links)
• Terminating Tableaux for Dynamic Epistemic Logics (Q3185765) (← links)
• Reasoning about knowledge and messages in asynchronous multi-agent systems (Q4559603) (← links)
• (Q5016796) (← links)
• Łukasiewicz Public Announcement Logic (Q5117203) (← 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)