Modal logical aspects of provability predicates and consistency statements

Haruka Kogure; Taishi Kurahashi

arxiv: 2511.15531 · v2 · pith:XXSERCMJnew · submitted 2025-11-19 · 🧮 math.LO

Modal logical aspects of provability predicates and consistency statements

Haruka Kogure , Taishi Kurahashi This is my paper

classification 🧮 math.LO

keywords mathsfpredicatesprovabilitymodalaspectsconsistencylogicallogics

0 comments

read the original abstract

This paper studies the modal logical aspects of provability predicates and consistency statements for theories of arithmetic. First, we provide an overview of previous works on the correspondence between various derivability conditions for provability predicates and different modal logics. The main technical contribution of the present paper is to establish the arithmetical completeness of the logics $\mathsf{NP}$, $\mathsf{ND}$, $\mathsf{NP4}$, and $\mathsf{ND4}$ by extending Solovay's method and refining Arai's construction of Rosser provability predicates.

This paper has not been read by Pith yet.

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Finite Kripke models and provability interpretations in quantified modal logic
math.LO 2026-04 unverdicted novelty 6.0

Constructs a Σ₂ Fefermanian provability predicate for conversely well-founded finite Kripke models and a Σ₁ predicate satisfying D2^G for finite constant-domain models, each with an arithmetical interpretation that em...