The following pages link to Dynamic Epistemic Logics (Q5249670):
Displaying 18 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)
- Dynamic term-modal logics for first-order epistemic planning (Q2211848) (← links)
- The dynamic turn in formal epistemology: the case of explanatory reasoning (Q2825843) (← links)
- The surprise examination paradox in dynamic epistemic logic (Q2874892) (← links)
- Knowing One’s Limits: An Analysis in Centered Dynamic Epistemic Logic (Q2902943) (← links)
- Modal Inclusion Logic: Being Lax is Simpler than Being Strict (Q2946343) (← links)
- Dynamic Epistemic Logic and Logical Omniscience (Q2987746) (← links)
- From Situation Calculus to Dynamic Epistemic Logic (Q3006113) (← links)
- Schematic Validity in Dynamic Epistemic Logic: Decidability (Q3093998) (← links)
- A Dynamic Epistemic Logic with a Knowability Principle (Q3457722) (← links)
- Learning by Erasing in Dynamic Epistemic Logic (Q3618595) (← links)
- Reasoning about epistemic social network dynamics using dynamic term-modal logic (Q5103719) (← links)
- (Q5224562) (← links)
- Temporal Aspects of the Dynamics of Knowledge (Q5249672) (← links)
- Dynamic Epistemic Logic as a Substructural Logic (Q5249692) (← links)
- Epistemic planning: perspectives on the special issue (Q6098843) (← links)
