Interpolation for first order S5

DOI10.2178/jsl/1190150101zbMath1009.03013OpenAlexW2132060693MaRDI QIDQ3149986

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)

Related Items

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof methods for modal and intuitionistic logics
• First-order modal logic
• Tableau methods of proof for modal logics
• A proof of cut-elimination theorem in simple type-theory
• Solvable cases of the decision problem
• Failures of the interpolation lemma in quantified modal logic
• On modal logic with propositional quantifiers