Models of transfinite provability logic
type: Item
instance of: scholarly article
title: Models of transfinite provability logic
zbMATH Open document ID: 1275.03158
author: David Fernández-Duque
author: Joost J. Joosten
publication date: 2013-06-24T00:00:00Z
full work available at URL: https://arxiv.org/abs/1204.4837
full work available at URL: https://projecteuclid.org/euclid.jsl/1368627064
Mathematics Subject Classification ID: 03F45
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 6180298
zbMATH Keywords: provability logic GL
zbMATH Keywords: ordinal analysis of Peano arithmetic
zbMATH Keywords: polymodal logic
zbMATH Keywords: \(\omega\)-rule
zbMATH Keywords: Kripke completeness
zbMATH Keywords: closed fragment of modal logic
Wikidata QID: Q58883296
MaRDI profile type: Publication
OpenAlex ID: W2058604356
arXiv ID: 1204.4837
cites work: A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic
cites work: Provability algebras and proof-theoretic ordinals. I
cites work: On provability logics with linearly ordered modalities
cites work: A Topological Study of the Closed Fragment of GLP
DOI: 10.2178/JSL.7802110
published in: Journal of Symbolic Logic
description: scientific article; zbMATH DE number 6180298