{"id":"arxiv/2608.04620","url":"https://arxiv.org/abs/2608.04620","tags":["math.LO"],"score":0,"title":"Embeddings of Propositional Logics into the Provability Logics $\\mathbf{S}$ and $\\mathbf{D}$","domain":"math.LO","source":"arxiv","authors":["Mashu Noguchi"],"reviews":0,"subject":"math.LO","summary":"Just as Visser showed that the formal propositional logic $\\mathbf{FPL}$ can be embedded into Gödel-Löb provability logic $\\mathbf{GL}$, Petrukhin proposed a propositional logic $\\mathbf{SPL}$ that can be embedded into Solovay's non-normal provability logic $\\mathbf{S}$. In this paper, we fix Petrukhin's proof and extend the result to Japaridze's provability logic $\\mathbf{D}$, and propose a propositional logic $\\mathbf{DPL}$ that can be embedded into $\\mathbf{D}$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-05","reactions":{}}