Pages that link to "Item:Q1412840"
From MaRDI portal
The following pages link to Repairing the interpolation theorem in quantified modal logic (Q1412840):
Displaying 12 items.
- Pure extensions, proof rules, and hybrid axiomatics (Q863181) (← links)
- Interpolation in non-classical logics (Q1024121) (← links)
- Natural deduction for first-order hybrid logic (Q1777372) (← links)
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols (Q2111114) (← links)
- Craig interpolation in the presence of unreliable connectives (Q2254572) (← links)
- The problem of cross-world predication (Q2410889) (← links)
- Semantic interpolation (Q2901200) (← links)
- Constructive interpolation in hybrid logic (Q3160549) (← links)
- Logical Interpolation and Projection onto State in the Duration Calculus (Q3643270) (← links)
- Why does the proof-theory of hybrid logic work so well? (Q3647283) (← links)
- Failure of interpolation in combined modal logics (Q5937819) (← links)
- Craig interpolation for decidable first-order fragments (Q6629523) (← links)