Interpolational Craig property in logics of proofs with strong provability operator (Q1275992)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Interpolational Craig property in logics of proofs with strong provability operator |
scientific article; zbMATH DE number 1240161
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Interpolational Craig property in logics of proofs with strong provability operator |
scientific article; zbMATH DE number 1240161 |
Statements
Interpolational Craig property in logics of proofs with strong provability operator (English)
0 references
14 January 1999
0 references
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.
0 references
Craig property
0 references
strong provability operator
0 references
provability logic
0 references
