Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations

DOI10.1007/s11225-017-9782-4zbMath1437.03167OpenAlexW2786667107MaRDI QIDQ1756596

Taishi Kurahashi

Publication date: 21 December 2018

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-017-9782-4

zbMATH Keywords

provability logicnumerationsarithmetical completeness theoremformalized arithmeticSacchetti's logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Gödel numberings and issues of incompleteness (03F40)

Related Items

VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY, Effectively constructible fixed points in Sacchetti's modal logics of provability, The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb, Rosser provability and normal modal logics, Arithmetical completeness theorems for monotonic modal logics, ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM, CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS, Interpolation properties for Sacchetti's logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Four valued semantics and the Liar
• Provability interpretations of modal logic
• On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X)
• Peano's smart children: A provability logical study of systems with built-in consistency
• A smart child of Peano's
• The fixed point property in modal logic
• Arithmetical completeness theorem for modal logic \(\mathsf{K}\)
• Arithmetization of metamathematics in a general setting
• ON THE CLASSIFICATION OF PROPOSITIONAL PROVABILITY LOGICS