Pages that link to "Item:Q3050398"
From MaRDI portal
The following pages link to Failures of the interpolation lemma in quantified modal logic (Q3050398):
Displaying 20 items.
- Some theorems on the expressive limitations of modal languages (Q792997) (← links)
- Continuum of normal extensions of the modal logic of provability with the interpolation property (Q920973) (← links)
- An institution-independent proof of the Beth definability theorem (Q995670) (← links)
- Interpolation in non-classical logics (Q1024121) (← links)
- Model theory for modal logic. III. Existence and predication (Q1153891) (← links)
- Amalgamation and interpolation in normal modal logics (Q1189894) (← links)
- A simple propositional \(\text{S}5\) tableau system (Q1295438) (← links)
- Repairing the interpolation theorem in quantified modal logic (Q1412840) (← links)
- Quantified multimodal logics in simple type theory (Q1945702) (← links)
- First-order interpolation derived from propositional interpolation (Q2193292) (← links)
- On the expressive power of first-order modal logic with two-dimensional operators (Q2218707) (← links)
- How far can Hume's is-ought thesis be generalized? An investigation in alethic-deontic modal predicate logic (Q2276939) (← links)
- On propositional definability (Q2389643) (← links)
- Failure of interpolation in constant domain intuitionistic logic (Q2869908) (← links)
- Interpolation for first order S5 (Q3149986) (← links)
- Constructive interpolation in hybrid logic (Q3160549) (← links)
- An extended joint consistency theorem for a family of free modal logics with equality (Q3714056) (← links)
- European Summer Meeting of the Association for Symbolic Logic, Leeds, 1979 (Q3902981) (← links)
- On the proof theory of the modal logic for arithmetic provability (Q3914957) (← links)
- (Heterogeneous) structured specifications in logics without interpolation (Q6599623) (← links)
