Pages that link to "Item:Q4612409"

The following pages link to Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond* (Q4612409):

Displaying 11 items.

• SMCDEL (Q40791) (← links)
• A simplicial complex model for dynamic epistemic logic to study distributed task computability (Q2029604) (← links)
• A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks (Q2043796) (← links)
• A computationally grounded logic of graded belief (Q2055797) (← links)
• Verification and strategy synthesis for coalition announcement logic (Q2071573) (← links)
• Dynamic term-modal logics for first-order epistemic planning (Q2211848) (← links)
• A lightweight epistemic logic and its application to planning (Q2238679) (← links)
• Symbolic Model Checking for Dynamic Epistemic Logic (Q3457719) (← links)
• Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic (Q6118728) (← links)
• Base-based model checking for multi-agent only believing (Q6545555) (← links)
• Efficient analysis of belief properties in process algebra (Q6615566) (← links)