On predicate provability logics and binumerations of fragments of Peano arithmetic
type: Item
instance of: scholarly article
title: On predicate provability logics and binumerations of fragments of Peano arithmetic
zbMATH Open document ID: 1388.03058
author: Taishi Kurahashi
published in: Archive for Mathematical Logic
publication date: 2013-11-06T00:00:00Z
Mathematics Subject Classification ID: 03F45
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F30
Mathematics Subject Classification ID: 03F40
zbMATH DE Number: 6223054
zbMATH Keywords: provability logic
zbMATH Keywords: predicate modal logic
zbMATH Keywords: fragments of Peano arithmetic
zbMATH Keywords: binumerations
MaRDI profile type: Publication
full work available at URL: s00153-013-0349-4
OpenAlex ID: W1981681786
cites work: Q4397069
cites work: The predicate modal logic of provability
cites work: Arithmetization of metamathematics in a general setting
cites work: Q5286672
cites work: ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY
cites work: Q4354788
cites work: Provability interpretations of modal logic
cites work: No escape from Vardanyan's theorem
DOI: 10.1007/S00153-013-0349-4
description: scientific article; zbMATH DE number 6223054