Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation
From MaRDI portal
Publication:6541157
DOI10.1007/978-3-031-43513-3_15MaRDI QIDQ6541157FDOQ6541157
Authors: Iris van der Giessen, Raheleh Jalali, Roman Kuznets 
Publication date: 17 May 2024
Cites Work
- Modal logic
- The extensions of the modal logic K5
- Title not available (Why is that?)
- Craig interpolation via hypersequents
- Title not available (Why is that?)
- Deep sequent systems for modal logic
- Title not available (Why is that?)
- On an interpretation of second order quantification in first order intuitionistic propositional logic
- Title not available (Why is that?)
- Uniform interpolation and propositional quantifiers in modal logics
- An algebraic theory of normal forms
- Modal interpolation via nested sequents
- Undefinability of propositional quantifiers in the modal system S4
- Uniform Lyndon interpolation for basic non-normal modal logics
- Proving Craig and Lyndon interpolation using labelled sequent calculi
- Uniform Lyndon interpolation for intuitionistic monotone modal logic
- Uniform Lyndon interpolation property in propositional modal logics
- Uniform interpolation and the existence of sequent calculi
- Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic
- Title not available (Why is that?)
- Grafting hypersequents onto nested sequents
- On some calculi of modal logic
- Multicomponent proof-theoretic method for proving interpolation properties
- Interpolation for intermediate logics via hyper- and linear nested sequents
- Uniform interpolation via nested sequents
- Interpolation for intermediate logics via injective nested sequents
- Simplified Kripke-style semantics for some normal modal logics
- The decidability of normal K5 logics
This page was built for publication: Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6541157)
