Pages that link to "Item:Q2366342"
From MaRDI portal
The following pages link to An analog of Beth's theorem in normal extensions of the modal logic K4 (Q2366342):
Displaying 5 items.
- Decidability of the interpolation problem and of related properties in tabular logics (Q431717) (← links)
- Amalgamation, interpolation, and implicit definability in varieties of algebras (Q744307) (← links)
- On propositional definability (Q2389643) (← links)
- Definability and interpolation in non-classical logics (Q2498367) (← links)
- ON DEFINABILITY IN MULTIMODAL LOGIC (Q3644800) (← links)
