Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations
type: Item
instance of: scholarly article
title: Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations
zbMATH Open document ID: 1437.03167
author: Taishi Kurahashi
published in: Studia Logica
publication date: 2018-12-21T00: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: 6996652
zbMATH Keywords: provability logic
zbMATH Keywords: Sacchetti's logics
zbMATH Keywords: arithmetical completeness theorem
zbMATH Keywords: formalized arithmetic
zbMATH Keywords: numerations
MaRDI profile type: Publication
full work available at URL: s11225-017-9782-4
OpenAlex ID: W2786667107
cites work: ON THE CLASSIFICATION OF PROPOSITIONAL PROVABILITY LOGICS
cites work: Q4397069
cites work: Arithmetization of metamathematics in a general setting
cites work: Arithmetical completeness theorem for modal logic \(\mathsf{K}\)
cites work: Q4437331
cites work: On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X)
cites work: Q5726696
cites work: The fixed point property in modal logic
cites work: A smart child of Peano's
cites work: Provability interpretations of modal logic
cites work: Four valued semantics and the Liar
cites work: Peano's smart children: A provability logical study of systems with built-in consistency
DOI: 10.1007/S11225-017-9782-4
description: scientific article; zbMATH DE number 6996652