Pages that link to "Item:Q1944775"
From MaRDI portal
The following pages link to Interpolation in logics with constructors (Q1944775):
Displaying 7 items.
- Birkhoff style calculi for hybrid logics (Q1682285) (← links)
- Interpolation in Grothendieck institutions (Q1884940) (← links)
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols (Q2111114) (← links)
- Stability of termination and sufficient-completeness under pushouts via amalgamation (Q2215962) (← links)
- Constructor-based logics (Q2816365) (← links)
- Combinatorics of $\lambda$-terms: a natural approach (Q3133181) (← links)
- Interpolation in propositional Horn logic (Q4612438) (← links)