Interpolation in infinitely layered extensions of provability logic
type: Item
instance of: scholarly article
title: Interpolation in infinitely layered extensions of provability logic
zbMATH Open document ID: 0693.03009
DOI: 10.1007/BF01982275
published in: Algebra and Logic
publication date: 1988-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/187444
review text: See the review in Zbl 0681.03006.
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 4134009
zbMATH Keywords: propositional modal logics
zbMATH Keywords: normal extensions of the Gödel-Loeb provability logic
zbMATH Keywords: Craig interpolation property
zbMATH Keywords: Kripke style semantics
author: L. L. Maksimova
MaRDI profile type: Publication
cites work: Q3875897
cites work: Q3784045
cites work: Pretabular varieties of modal algebras
cites work: Logical matrices and the amalgamation property
cites work: Modal tableau calculi and interpolation
cites work: Q4068699
cites work: Q3900021
description: scientific article; zbMATH DE number 4134009