Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation
type: Item
instance of: scholarly article
title: Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation
DOI: 10.1007/978-3-031-43513-3_15
author: Iris van der Giessen
author: Raheleh Jalali
author: Roman Kuznets
publication date: 2024-05-17T00:00:00Z
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7850749
MaRDI profile type: Publication
cites work: Uniform Lyndon interpolation for basic non-normal modal logics
cites work: Q5884937
cites work: Q3837723
cites work: Uniform interpolation and propositional quantifiers in modal logics
cites work: Modal logic
cites work: Deep sequent systems for modal logic
cites work: Modal interpolation via nested sequents
cites work: An algebraic theory of normal forms
cites work: Undefinability of propositional quantifiers in the modal system S4
cites work: Uniform interpolation via nested sequents
cites work: Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic
cites work: Uniform interpolation and the existence of sequent calculi
cites work: Uniform Lyndon interpolation property in propositional modal logics
cites work: Craig Interpolation via Hypersequents
cites work: Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi
cites work: Multicomponent proof-theoretic method for proving interpolation properties
cites work: Grafting hypersequents onto nested sequents
cites work: Q5224582
cites work: Interpolation for intermediate logics via injective nested sequents
cites work: On some calculi of modal logic
cites work: The decidability of normal K5 logics
cites work: The extensions of the modal logic K5
cites work: Simplified Kripke-style semantics for some normal modal logics
cites work: On an interpretation of second order quantification in first order intuitionistic propositional logic
cites work: Q4694581
cites work: Q3832540
cites work: Q4443189
cites work: Q4893140
description: scientific article; zbMATH DE number 7850749