Interpolation in modal infinite slice logics containing the logic K4
type: Item
instance of: scholarly article
title: Interpolation in modal infinite slice logics containing the logic K4
zbMATH Open document ID: 0729.03011
published in: Siberian Advances in Mathematics
publication date: 1991-01-01T00:00:00Z
review text: See the review in Zbl 0713.03006.
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F40
zbMATH DE Number: 4204316
zbMATH Keywords: modal logic
zbMATH Keywords: amalgamation property
zbMATH Keywords: K4-algebra
zbMATH Keywords: Grzegorczyk logic
zbMATH Keywords: interpolation property for derivability
zbMATH Keywords: Craig interpolation property
zbMATH Keywords: infinite-slice extension of K4
zbMATH Keywords: logics of finite irreflexive n-ary trees
zbMATH Keywords: extensions of Gödel-Löb logic
zbMATH Keywords: reflexive fragments
zbMATH Keywords: topoboolean algebra
author: L. L. Maksimova
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 4204316