Pages that link to "Item:Q5249692"
From MaRDI portal
The following pages link to Dynamic Epistemic Logic as a Substructural Logic (Q5249692):
Displaying 11 items.
- Intricate axioms as interaction axioms (Q497427) (← links)
- Special issue on substructural logic and information dynamics: introduction (Q2957967) (← links)
- Epistemic extensions of modal distributive substructural logics (Q2957968) (← links)
- Displaying updates in logic (Q2957971) (← links)
- Dynamic epistemic logic in update logic (Q2957972) (← links)
- From Situation Calculus to Dynamic Epistemic Logic (Q3006113) (← links)
- Schematic Validity in Dynamic Epistemic Logic: Decidability (Q3093998) (← links)
- Tracking Information (Q3305434) (← links)
- A Dynamic Epistemic Logic with a Knowability Principle (Q3457722) (← links)
- Substructural epistemic logics (Q4586145) (← links)
- A substructural epistemic resource logic: theory and modelling applications (Q5216343) (← links)