Interpolational Craig property in logics of proofs with strong provability operator
type: Item
instance of: scholarly article
title: Interpolational Craig property in logics of proofs with strong provability operator
zbMATH Open document ID: 0909.03020
published in: Moscow University Mathematics Bulletin
publication date: 1999-01-14T00:00:00Z
review text: In a paper by \textit{E. Yu. Nogina} [Logic of proofs with strong provability operator (1994)] the logics of proofs BGrz, FGrz and MGrz were introduced that extend the logic Grz [see \textit{G. Boolos}, The logic of provability (1993; Zbl 0891.03004)]. The author shows that the logic BGrz possesses the strong Craig property while FGrz and MGrz do not possess even the weak Craig property.
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03C80
Mathematics Subject Classification ID: 03C40
zbMATH DE Number: 1240161
zbMATH Keywords: Craig property
zbMATH Keywords: strong provability operator
zbMATH Keywords: provability logic
author: Evgeni E. Zolin
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1240161