Pages that link to "Item:Q2957972"
From MaRDI portal
The following pages link to Dynamic epistemic logic in update logic (Q2957972):
Displaying 13 items.
- Logic for update products and steps into the past (Q636377) (← links)
- Situated epistemic updates (Q2148833) (← links)
- Delegated updates in epistemic graphs for opponent modelling (Q2302776) (← links)
- Special issue on substructural logic and information dynamics: introduction (Q2957967) (← links)
- Displaying updates in logic (Q2957971) (← links)
- Probabilistic Epistemic Updates on Algebras (Q3457689) (← links)
- Learning by Erasing in Dynamic Epistemic Logic (Q3618595) (← links)
- Updating Epistemic Logic Programs (Q3623225) (← links)
- Probabilistic Epistemic Updates on Algebras (Q4972163) (← links)
- A cut-free labelled sequent calculus for dynamic epistemic logic (Q5108028) (← links)
- Dynamic Epistemic Logic as a Substructural Logic (Q5249692) (← links)
- DEL-sequents for progression (Q5891665) (← links)
- To be announced (Q6040661) (← links)