Uniform interpolation and propositional quantifiers in modal logics

DOI10.1007/S11225-007-9021-5MaRDI QIDQ878154zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Uniform interpolation and sequent calculi in modal logic
• Uniform Lyndon interpolation property in propositional modal logics
• Uniform Interpolation by Resolution in Modal Logic
• Uniform interpolation in coalgebraic modal logic
• Uniform interpolation in provability logics
• Uniform interpolation for monotone modal logic
• Uniform interpolation in substructural logics
• Uniform Lyndon interpolation for basic non-normal modal logics
• Unifying quantified modal logic
• Uniform Lyndon interpolation for intuitionistic monotone modal logic

Cites work

• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 219032 (Why is no real title available?)
• A sheaf representation and duality for finitely presented Heyting algebras
• Handbook of proof theory
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• On modal logic with propositional quantifiers
• On the complexity of propositional quantification in intuitionistic logic
• Propositional quantifiers in modal logic1
• Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• The modal logic of provability. The sequential approach
• Undefinability of propositional quantifiers in the modal system S4

Cited in

(42)

• Uniform interpolation in provability logics
• Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
• Uniform interpolation in coalgebraic modal logic
• Uniform Lyndon interpolation for basic non-normal modal logics
• The G4i analogue of a G3i sequent calculus
• Interpolation in propositional Horn logic
• The ghosts of forgotten things: a study on size after forgetting
• Uniform interpolation and coherence
• ExpExpExplosion: uniform interpolation in general \(\mathcal{EL}\) terminologies
• Uniform interpolation for coalgebraic fixpoint logic
• scientific article; zbMATH DE number 922620 (Why is no real title available?)
• Uniform interpolation of \(\mathcal{ALC}\)-ontologies using fixpoints
• Uniform interpolation and compact congruences
• A note on constructive interpolation for the multi-modal logic \(K_m\)
• Uniform Interpolation by Resolution in Modal Logic
• \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation
• Forgetting in multi-agent modal logics
• Uniform interpolation and the existence of sequent calculi
• Repairing the interpolation theorem in quantified modal logic
• Deciding dependence in logic and algebra
• Uniform interpolation via nested sequents
• Combined covers and Beth definability
• Second-order propositional modal logic and monadic alternation hierarchies
• Sequent calculi for intuitionistic Gödel-Löb logic
• Deciding the existence of uniform interpolants over transitive models
• Uniform interpolation for monotone modal logic
• Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes)
• Saturation-based uniform interpolation for multi-modal logics
• Uniform interpolation in substructural logics
• Remarks on uniform interpolation property
• The logic of exact covers: completeness and uniform interpolation
• Uniform Lyndon interpolation property in propositional modal logics
• UNIFICATION IN INTERMEDIATE LOGICS
• scientific article; zbMATH DE number 1215463 (Why is no real title available?)
• Common equivalence and size of forgetting from Horn formulae
• Uniform Lyndon interpolation for intuitionistic monotone modal logic
• Uniform interpolation for propositional and modal team logics
• Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation
• A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi
• Uniform interpolation and sequent calculi in modal logic
• Craig interpolation for networks of sentences
• Combination of uniform interpolants via Beth definability

Describes a project that uses

Uses Software

• Pesca

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

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