Pages that link to "Item:Q4586222"
From MaRDI portal
The following pages link to A general framework for dynamic epistemic logic: towards canonical correspondences (Q4586222):
Displaying 5 items.
- Dynamic epistemic logic with branching temporal structures (Q1036059) (← links)
- Recapturing dynamic logic of relation changers via bounded morphisms (Q2021560) (← links)
- A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks (Q2043796) (← links)
- On inverse operators in dynamic epistemic logic (Q2151411) (← links)
- The dynamic turn in formal epistemology: the case of explanatory reasoning (Q2825843) (← links)