Modal logical aspects of provability predicates and consistency statements

DOI10.1093/LOGCOM/EXAG030MaRDI QIDQ7300637zbMATH OpenFDO

Authors Haruka Kogure, Taishi Kurahashi

Publication date 21 July 2026

Published in Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/LOGCOM/EXAG030

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• A note on derivability conditions
• A smart child of Peano's
• Arithmetical completeness theorem for modal logic \(\mathsf{K}\)
• Arithmetical completeness theorems for monotonic modal logics
• Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations
• Arithmetization of metamathematics in a general setting
• Derivability conditions on Rosser's provability predicates
• Equivalence relations induced by extensional formulae: classification by means of a new fixed point property
• Grundlagen der Mathematik. Bd. II.
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3525107 (Why is no real title available?)
• scientific article; zbMATH DE number 1215499 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 2014521 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• scientific article; zbMATH DE number 3236046 (Why is no real title available?)
• scientific article; zbMATH DE number 3190337 (Why is no real title available?)
• Neighborhood semantics for modal logic
• On Rosser's Provability Predicate
• Peano's smart children: A provability logical study of systems with built-in consistency
• Provability interpretations of modal logic
• Redundancies in the Hilbert-Bernays derivability conditions for Gödel's second incompleteness theorem
• Rosser provability and normal modal logics
• Rosser provability and the second incompleteness theorem
• Solution of a problem of Leon Henkin
• The finite frame property of some extensions of the pure logic of necessitation
• The fixed point property in modal logic
• The provability logic of all provability predicates
• The Pure Logic of Necessitation
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I.

This page was built for publication: Modal logical aspects of provability predicates and consistency statements

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7300637)