Uniform interpolation and sequent calculi in modal logic
type: Item
instance of: scholarly article
title: Uniform interpolation and sequent calculi in modal logic
author: Rosalie Iemhoff
published in: Archive for Mathematical Logic
publication date: 2019-01-24T00:00:00Z
Mathematics Subject Classification ID: 03B05
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F03
zbMATH DE Number: 7006132
zbMATH Keywords: uniform interpolation
zbMATH Keywords: sequent calculus
zbMATH Keywords: modal logic
zbMATH Keywords: propositional quantifiers
MaRDI profile type: Publication
full work available at URL: s00153-018-0629-0
OpenAlex ID: W3008129210
cites work: Uniform interpolation and propositional quantifiers in modal logics
cites work: Proving termination with multiset orderings
cites work: Undefinability of propositional quantifiers in the modal system S4
cites work: Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
cites work: Q4187817
cites work: On an interpretation of second order quantification in first order intuitionistic propositional logic
cites work: Q4694581
cites work: Q4716271
cites work: Q4893140
Wikidata QID: Q129828555
DOI: 10.1007/S00153-018-0629-0
Recommended article: Uniform interpolation and propositional quantifiers in modal logics
Recommended article: Uniform Interpolation in Coalgebraic Modal Logic.
Recommended article: Uniform Interpolation by Resolution in Modal Logic
Recommended article: Uniform interpolation for monotone modal logic
Recommended article: Q5224686
Recommended article: Uniform Lyndon interpolation property in propositional modal logics
Recommended article: UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS
Recommended article: Uniform interpolation from cyclic proofs: the case of modal mu-calculus
Recommended article: Q4215595
Recommended article: Uniform interpolation and the existence of sequent calculi
description: scientific article; zbMATH DE number 7006132