Uniform interpolation and propositional quantifiers in modal logics

DOI10.1007/s11225-007-9021-5zbMath1113.03017OpenAlexW2025873079MaRDI QIDQ878154

Marta Bílková

Publication date: 26 April 2007

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-007-9021-5

zbMATH Keywords

interpolationmodal logicsequent calculuspropositional quantifiers

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Related Items (17)

A note on constructive interpolation for the multi-modal logic \(K_m\) ⋮ Uniform Lyndon interpolation for basic non-normal modal logics ⋮ Uniform interpolation via nested sequents ⋮ UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS ⋮ Craig interpolation for networks of sentences ⋮ Uniform interpolation and sequent calculi in modal logic ⋮ Second-order propositional modal logic and monadic alternation hierarchies ⋮ Uniform interpolation and coherence ⋮ Sequent calculi for intuitionistic Gödel-Löb logic ⋮ Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) ⋮ Forgetting in multi-agent modal logics ⋮ Uniform interpolation and the existence of sequent calculi ⋮ Uniform Lyndon interpolation property in propositional modal logics ⋮ Combination of uniform interpolants via Beth definability ⋮ Combined covers and Beth definability ⋮ Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics ⋮ The G4i analogue of a G3i sequent calculus

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• The modal logic of provability. The sequential approach
• Handbook of proof theory
• Undefinability of propositional quantifiers in the modal system S4
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• Propositional quantifiers in modal logic1
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• On the complexity of propositional quantification in intuitionistic logic
• A sheaf representation and duality for finitely presented Heyting algebras
• Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p
• On modal logic with propositional quantifiers

This page was built for publication: Uniform interpolation and propositional quantifiers in modal logics