The following pages link to (Q5232911):
Displaying 7 items.
- Explicit fixed points in interpretability logic (Q1176094) (← links)
- Inter-definability of Horn contraction and Horn revision (Q2363417) (← links)
- Interpolation and implicit definability in extensions of the provability logic (Q3534985) (← links)
- A Step Up in Expressiveness of Decidable Fixpoint Logics (Q4635946) (← links)
- On Monotonic Determinacy and Rewritability for Recursive Queries and Views (Q5886523) (← links)
- Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory (Q6597957) (← links)
- Craig interpolation for decidable first-order fragments (Q6629523) (← links)
