Pages that link to "Item:Q3006122"
From MaRDI portal
The following pages link to Preservation by fibring of the finite model property (Q3006122):
Displaying 6 items.
- Fibring as biporting subsumes asymmetric combinations (Q2259004) (← links)
- Preservation of model-theoretic properties of \(\Psi\)-fractions (Q2748857) (← links)
- Fibring Modal First-Order Logics: Completeness Preservation (Q4779584) (← links)
- Deciding Theoremhood in Fibred Logics Without Shared Connectives (Q5350345) (← links)
- Fibring in the Leibniz Hierarchy (Q5436988) (← links)
- Preservation theorems in finite model theory (Q6064296) (← links)