Interpolation for first order S5

DOI10.2178/JSL/1190150101zbMATH Open1009.03013OpenAlexW2132060693MaRDI QIDQ3149986FDOQ3149986

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

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
• Publication:3468055
• Interpolants for Runge-Kutta pairs of order four and five
• Explicit formulas for interpolating splines of degree 5 on the triangle

zbMATH Keywords

interpolationmodal logicpropositional quantifiersfirst-order S5

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• First-order modal logic
• Proof methods for modal and intuitionistic logics
• Tableau methods of proof for modal logics
• Title not available (Why is that?)
• On modal logic with propositional quantifiers
• Solvable cases of the decision problem
• A proof of cut-elimination theorem in simple type-theory
• Failures of the interpolation lemma in quantified modal logic

Cited In (9)

• Cut-elimination for quantified conditional logic
• Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners)
• Combining and automating classical and non-classical logics in classical higher-order logics
• Repairing the interpolation theorem in quantified modal logic
• Title not available (Why is that?)
• Second-order propositional modal logic and monadic alternation hierarchies
• Quantified multimodal logics in simple type theory
• Title not available (Why is that?)
• Logical Interpolation and Projection onto State in the Duration Calculus

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)