Pages that link to "Item:Q1314291"
From MaRDI portal
The following pages link to Dynamic interpretation and Hoare deduction (Q1314291):
Displaying 5 items.
- Reasoning about update logic (Q1344850) (← links)
- Presupposition failure - a comedy of errors (Q1346767) (← links)
- Directions in generalized quantifier theory (Q1908858) (← links)
- Implicit and explicit stances in logic (Q2000675) (← links)
- The grammar of quantification and the fine structure of interpretation contexts (Q2443334) (← links)