On strong provability predicates and the associated modal logics
type: Item
instance of: scholarly article
title: On strong provability predicates and the associated modal logics
zbMATH Open document ID: 0795.03082
DOI: 10.2307/2275337
author: Konstantin N. Ignatiev
published in: Journal of Symbolic Logic
publication date: 1993-08-17T00:00:00Z
Mathematics Subject Classification ID: 03F30
Mathematics Subject Classification ID: 03F40
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 238219
zbMATH Keywords: strong provability predicate
zbMATH Keywords: joint provability logic for iterated \(\omega\)-provability
zbMATH Keywords: fixed point property
zbMATH Keywords: Craig interpolation lemma
MaRDI profile type: MaRDI publication profile
full work available at URL: https://doi.org/10.2307/2275337
OpenAlex ID: W2065285281
cites work: Omega-consistency and the diamond
cites work: The interpretability logic of Peano arithmetic
cites work: Q5202654
cites work: Provability interpretations of modal logic
Recommended article: The provability logic for \(\Sigma_ 1\)-interpolability
Recommended article: The predicate modal logic of provability
Recommended article: Q4215636
description: scientific article; zbMATH DE number 238219