The following pages link to How to Update Neighborhood Models (Q2859106):
Displaying 7 items.
- Private announcements on topological spaces (Q1653649) (← links)
- Unknown truths and false beliefs: completeness and expressivity results for the neighborhood semantics (Q2115282) (← links)
- Neighborhood Contingency Logic (Q2937393) (← links)
- Introspection, Normality and Agglomeration (Q3457703) (← links)
- Algebraic Semantics for Dynamic Dynamic Logic (Q3457709) (← links)
- A model for updates in a multi-agent setting (Q3647269) (← links)
- How to update neighbourhood models (Q5222682) (← links)