Provability logic without Craig's interpolation property
type: Item
instance of: scholarly article
title: Provability logic without Craig's interpolation property
zbMATH Open document ID: 0688.03011
DOI: 10.1007/BF01158230
published in: Mathematical Notes
publication date: 1989-01-01T00:00:00Z
review text: See the review in Zbl 0674.03005.
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F30
Mathematics Subject Classification ID: 03F40
zbMATH DE Number: 4127175
zbMATH Keywords: modal logics
zbMATH Keywords: Craig's interpolation property
zbMATH Keywords: provability logic
zbMATH Keywords: Peano arithmetic
author: Lev D. Beklemishev
MaRDI profile type: Publication
cites work: The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic
cites work: Provability interpretations of modal logic
cites work: Q3900021
cites work: Q4196401
cites work: On systems of modal logic with provability interpretations
cites work: Q3786477
cites work: Q4068699
cites work: Modal tableau calculi and interpolation
full work available at URL: https://doi.org/10.1007/bf01158230
OpenAlex ID: W2018741016
description: scientific article; zbMATH DE number 4127175