Pages that link to "Item:Q2498367"
From MaRDI portal
The following pages link to Definability and interpolation in non-classical logics (Q2498367):
Displaying 17 items.
- Weak interpolation in extensions of the logics S4 and K4 (Q431659) (← links)
- Decidability of the interpolation problem and of related properties in tabular logics (Q431717) (← links)
- Interpolation properties in the extensions of the logic of inequality (Q606045) (← links)
- Simple weakly transitive modal algebras (Q619324) (← links)
- Interpolation in weakly transitive modal logics (Q694243) (← links)
- Amalgamation, interpolation, and implicit definability in varieties of algebras (Q744307) (← links)
- Uniform Lyndon interpolation property in propositional modal logics (Q781510) (← links)
- Nonstandard definability (Q913793) (← links)
- Interpolation in non-classical logics (Q1024121) (← links)
- \(\mathcal S\)-prealgebras (Q1318838) (← links)
- ``That will do'': logics of deontic necessity and sufficiency (Q1706805) (← links)
- Undefinability in inquisitive logic with tensor (Q2291224) (← links)
- On propositional definability (Q2389643) (← links)
- 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 (Q3011106) (← links)
- Interpolation and implicit definability in extensions of the provability logic (Q3534985) (← links)
- Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics (Q5214737) (← links)
- (Q5232911) (← links)