Pages that link to "Item:Q2295601"
From MaRDI portal
The following pages link to Intensional protocols for dynamic epistemic logic (Q2295601):
Displaying 11 items.
- Agreement theorems in dynamic-epistemic logic (Q692182) (← links)
- Extending probabilistic dynamic epistemic logic (Q1036062) (← links)
- Parameterized complexity of theory of mind reasoning in dynamic epistemic logic (Q1711514) (← links)
- On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge (Q2148837) (← links)
- A protocol-theoretic framework for the logic of epistemic norms (Q2154132) (← links)
- Dynamic term-modal logics for first-order epistemic planning (Q2211848) (← links)
- A complete proof system for a dynamic epistemic logic based upon finite \(\pi\)-calculus processes (Q2904070) (← links)
- Schematic Validity in Dynamic Epistemic Logic: Decidability (Q3093998) (← links)
- PROPOSITIONAL DYNAMIC LOGIC FOR REASONING ABOUT FIRST-CLASS AGENT INTERACTION PROTOCOLS (Q3224882) (← links)
- Symbolic Model Checking for Dynamic Epistemic Logic (Q3457719) (← links)
- A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems (Q3602954) (← links)
