The following pages link to Interpolation for first order S5 (Q3149986):
Displaying 9 items.
- Second-order propositional modal logic and monadic alternation hierarchies (Q466445) (← links)
- Combining and automating classical and non-classical logics in classical higher-order logics (Q656826) (← 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)
- Cut-elimination for quantified conditional logic (Q2363418) (← links)
- Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners) (Q3058454) (← links)
- (Q3466634) (← links)
- Logical Interpolation and Projection onto State in the Duration Calculus (Q3643270) (← links)
