Pages that link to "Item:Q3768872"
From MaRDI portal
The following pages link to Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics (Q3768872):
Displaying 5 items.
- Neat embeddings, omitting types, and interpolation: an overview (Q558739) (← links)
- Partial isomorphisms and intuitionistic logic (Q1170233) (← links)
- Syntactic features and synonymy relations: A unified treatment of some proofs of the compactness and interpolation theorems (Q1327488) (← links)
- Algebraic Logic, Where Does it Stand Today? (Q5472642) (← links)
- Back and forth between guarded and modal logics (Q5738962) (← links)