The following pages link to The expressivity of update logics (Q5262482):
Displaying 10 items.
- Arbitrary arrow update logic (Q343913) (← links)
- Relativized common knowledge for dynamic epistemic logic (Q898782) (← links)
- Weak updates and separation logic (Q1758657) (← links)
- A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks (Q2043796) (← links)
- Arrow update synthesis (Q2216107) (← links)
- Expressivity and completeness for public update logics via reduction axioms (Q3647272) (← links)
- Partial deduction of updateable definite logic programs (Q4289930) (← links)
- Updateable Inner Product Argument with Logarithmic Verifier and Applications (Q5041169) (← links)
- Logics in Artificial Intelligence (Q5394123) (← links)
- To be announced (Q6040661) (← links)