Uniform interpolation via nested sequents and hypersequents
From MaRDI portal
Cites work
- A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi
- An algebraic theory of normal forms
- Craig interpolation via hypersequents
- Deep sequent systems for modal logic
- Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation
- Grafting hypersequents onto nested sequents
- Handbook of modal logic
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 956466 (Why is no real title available?)
- scientific article; zbMATH DE number 219032 (Why is no real title available?)
- scientific article; zbMATH DE number 922620 (Why is no real title available?)
- scientific article; zbMATH DE number 5263148 (Why is no real title available?)
- Interpolation for intermediate logics via hyper- and linear nested sequents
- Modal interpolation via nested sequents
- Modal logic
- Multicomponent proof-theoretic method for proving interpolation properties
- On an interpretation of second order quantification in first order intuitionistic propositional logic
- On some calculi of modal logic
- Proof Analysis
- Proof methods for modal and intuitionistic logics
- Second-order quantifier elimination. Foundations, computational aspects and applications
- The Method of Tree-Hypersequents for Modal Propositional Logic
- Undefinability of propositional quantifiers in the modal system S4
- Uniform interpolation and sequent calculi in modal logic
- Uniform interpolation and the existence of sequent calculi
- Uniform interpolation via nested sequents
- Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points
- Uniform Lyndon interpolation property in propositional modal logics
This page was built for publication: Uniform interpolation via nested sequents and hypersequents
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6923528)
