Interpolation for first order S5

DOI10.2178/JSL/1190150101MaRDI QIDQ3149986zbMATHOpenAlexFDO

Authors Melvin Fitting

Publication date 22 April 2003

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.5871

zbMATH Keywords

interpolationmodal logicpropositional quantifiersfirst-order S5

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Interpolation by integro quintic splines
• scientific article; zbMATH DE number 3865892
• Interpolation with quintic Powell-Sabin splines
• Publication:4207510
• A construction of quintic interpolating splines
• Explicit approximation by fifth-degree splines with interpolation near the boundary
• scientific article; zbMATH DE number 55677
• Publication:3468055
• Interpolants for Runge-Kutta pairs of order four and five
• Explicit formulas for interpolating splines of degree 5 on the triangle

Cites work

• scientific article; zbMATH DE number 1489632 (Why is no real title available?)
• scientific article; zbMATH DE number 837700 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• A proof of cut-elimination theorem in simple type-theory
• Failures of the interpolation lemma in quantified modal logic
• First-order modal logic
• On modal logic with propositional quantifiers
• Proof methods for modal and intuitionistic logics
• Solvable cases of the decision problem
• Tableau methods of proof for modal logics

Cited in

(10)

• Cut-elimination for quantified conditional logic
• Second-order propositional modal logic and monadic alternation hierarchies
• Verifying the modal logic cube is an easy task (for higher-order automated reasoners)
• Repairing the interpolation theorem in quantified modal logic
• Quantified multimodal logics in simple type theory
• scientific article; zbMATH DE number 3863171 (Why is no real title available?)
• Logical Interpolation and Projection onto State in the Duration Calculus
• First-order interpolation derived from propositional interpolation
• Combining and automating classical and non-classical logics in classical higher-order logics
• scientific article; zbMATH DE number 6538222 (Why is no real title available?)

This page was built for publication: Interpolation for first order S5

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3149986)