The following pages link to Reasoning about update logic (Q1344850):
Displaying 6 items.
- An update on epistemic modals (Q266669) (← links)
- Automata for epistemic temporal logic with synchronous communication (Q616040) (← links)
- Inference and update (Q1036064) (← links)
- A system of dynamic modal logic (Q1267078) (← links)
- Presupposition failure - a comedy of errors (Q1346767) (← links)
- Local reasoning about data update (Q2864149) (← links)