Uniform interpolation and sequent calculi in modal logic

DOI10.1007/s00153-018-0629-0OpenAlexW3008129210WikidataQ129828555 ScholiaQ129828555MaRDI QIDQ1712936

Rosalie Iemhoff

Publication date: 24 January 2019

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-018-0629-0

zbMATH Keywords

modal logicsequent calculuspropositional quantifiersuniform interpolation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Classical propositional logic (03B05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

Uniform interpolation from cyclic proofs: the case of modal mu-calculus, Uniform Lyndon interpolation for basic non-normal modal logics, Uniform interpolation via nested sequents, Intermediate logics admitting a structural hypersequent calculus, Sequent calculi for intuitionistic Gödel-Löb logic, Uniform interpolation and the existence of sequent calculi, Uniform Lyndon interpolation property in propositional modal logics, The G4i analogue of a G3i sequent calculus

Cites Work

• Uniform interpolation and propositional quantifiers in modal logics
• Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
• Undefinability of propositional quantifiers in the modal system S4
• Proving termination with multiset orderings
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item