Pages that link to "Item:Q1189894"
From MaRDI portal
The following pages link to Amalgamation and interpolation in normal modal logics (Q1189894):
Displaying 18 items.
- New perspectives in algebraic logic, from neat embeddings to Erdős graphs (Q450159) (← links)
- Neat embeddings, omitting types, and interpolation: an overview (Q558739) (← links)
- Cut elimination in coalgebraic logics (Q618171) (← links)
- Uniform Lyndon interpolation property in propositional modal logics (Q781510) (← links)
- Some results about neat reducts (Q992010) (← links)
- The fixed point property in modal logic (Q1409307) (← links)
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- A note on constructive interpolation for the multi-modal logic \(K_m\) (Q2133432) (← links)
- Definability and interpolation in non-classical logics (Q2498367) (← links)
- Admissibility of Cut in Coalgebraic Logics (Q2873670) (← links)
- Constructive interpolation in hybrid logic (Q3160549) (← links)
- The class of polyadic algebras has the super amalgamation property (Q3406455) (← links)
- Omitting types for algebraizable extensions of first order logic (Q3647239) (← links)
- Algebraic Characterization of the Local Craig Interpolation Property (Q4556007) (← links)
- Varying interpolation and amalgamation in polyadic MV-algebras (Q4586142) (← links)
- Interpolation and amalgamation in modal cylindric algebras (Q5149742) (← links)
- TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY (Q5159499) (← links)
- Algebraic Logic, Where Does it Stand Today? (Q5472642) (← links)
