Multicomponent proof-theoretic method for proving interpolation properties
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 2184446 (Why is no real title available?)
- scientific article; zbMATH DE number 956466 (Why is no real title available?)
- scientific article; zbMATH DE number 3603256 (Why is no real title available?)
- scientific article; zbMATH DE number 1267561 (Why is no real title available?)
- scientific article; zbMATH DE number 510780 (Why is no real title available?)
- scientific article; zbMATH DE number 1497485 (Why is no real title available?)
- scientific article; zbMATH DE number 1749009 (Why is no real title available?)
- scientific article; zbMATH DE number 3199779 (Why is no real title available?)
- scientific article; zbMATH DE number 3085803 (Why is no real title available?)
- A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi
- A constructive analysis of RM
- A study of Kripke-type models for some modal logics by Gentzen's sequential method
- Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic
- Amalgamation and interpolation in normal modal logics
- An interpolation theorem in the predicate calculus
- Analytic tableau systems and interpolation for the modal logics KB, KDB, K5, KD5
- CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT
- Circular proofs for the Gödel-Löb provability logic
- Concepts of proof in mathematics, philosophy, and computer science. Based on the Humboldt-Kolleg, Bern, Switzerland, September 9--13, 2013
- Correspondence between modal Hilbert axioms and sequent rules with an application to S5
- Craig interpolation in displayable logics
- Cut-free sequent calculi for some tense logics
- Deep sequent systems for modal logic
- Deep sequent systems for modal logic
- Der Interpolationssatz der intuitionistischen Prädikatenlogik
- Failure of interpolation in constant domain intuitionistic logic
- From Frame Properties to Hypersequent Rules in Modal Logics
- Gentzen calculi for modal propositional logic
- Geometrisation of first-order logic
- Grafting hypersequents onto nested sequents
- Hypersequent Calculi for Godel Logics -- a Survey
- Hypersequent rules with restricted contexts for propositional modal logics
- Indexed systems of sequents and cut-elimination
- Interpolation and SAT-based model checking.
- Interpolation for intermediate logics via hyper- and linear nested sequents
- Interpolation method for multicomponent sequent calculi
- Interpolation systems for ground proofs in automated deduction: a survey
- Labelled tree sequents, tree hypersequents and nested (deep) sequents
- Linear reasoning. A new form of the Herbrand-Gentzen theorem
- Modal interpolation via nested sequents
- Modal tableau calculi and interpolation
- Multi-dimensional modal logic
- Natural 3-valued logics—characterization and proof theory
- On some calculi of modal logic
- Prefixed tableaus and nested sequents
- Proof Analysis
- Proof analysis in modal logic
- Proof methods for modal and intuitionistic logics
- Proving Craig and Lyndon interpolation using labelled sequent calculi
- Skolem's discovery of Gödel-Dummett logic
- The logic of exact covers: completeness and uniform interpolation
- The many faces of interpolation
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
- Uniform Interpolation by Resolution in Modal Logic
Cited in
(7)- Through an inference rule, darkly
- Uniform interpolation via nested sequents
- Interpolation in extensions of first-order logic
- Modal interpolation via nested sequents
- Interpolation method for multicomponent sequent calculi
- Tools and Algorithms for the Construction and Analysis of Systems
- Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation
This page was built for publication: Multicomponent proof-theoretic method for proving interpolation properties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1799040)
