Uniform interpolation and propositional quantifiers in modal logics

DOI10.1007/S11225-007-9021-5zbMATH Open1113.03017OpenAlexW2025873079MaRDI QIDQ878154FDOQ878154

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

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

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)

Cites Work

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

Cited In (42)

• Interpolation in propositional Horn logic
• Uniform Lyndon interpolation for basic non-normal modal logics
• The G4i analogue of a G3i sequent calculus
• 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
• Title not available (Why is that?)
• 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
• Forgetting in multi-agent modal logics
• Uniform interpolation and the existence of sequent calculi
• \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation
• Deciding dependence in logic and algebra
• Repairing the interpolation theorem in quantified modal logic
• 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
• Saturation-based uniform interpolation for multi-modal logics
• Uniform interpolation for monotone modal logic
• Deciding the existence of uniform interpolants over transitive models
• Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes)
• Uniform interpolation in substructural logics
• Remarks on uniform interpolation property
• The logic of exact covers: completeness and uniform interpolation
• UNIFICATION IN INTERMEDIATE LOGICS
• Uniform Lyndon interpolation property in propositional modal logics
• Title not available (Why is that?)
• 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
• Uniform interpolation in provability logics
• Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
• Uniform interpolation in coalgebraic modal logic

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)