Arithmetical completeness theorems for monotonic modal logics

DOI10.1016/j.apal.2023.103271zbMath1525.03113arXiv2208.03555OpenAlexW4361264698WikidataQ122941364 ScholiaQ122941364MaRDI QIDQ6040616

Taishi Kurahashi, Haruka Kogure

Publication date: 19 May 2023

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2208.03555

zbMATH Keywords

provability logicnon-normal modal logicarithmetical completenessderivability conditionsthe second incompleteness theoremmonotone modal logic

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)

Cites Work

• Transductions in arithmetic
• Provability interpretations of modal logic
• Arithmetical completeness theorem for modal logic \(\mathsf{K}\)
• Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations
• Rosser provability and the second incompleteness theorem
• Rosser provability and normal modal logics
• Derivability conditions on Rosser's provability predicates
• Solution of a problem of Leon Henkin
• Equivalence relations induced by extensional formulae: classification by means of a new fixed point property
• Rosser sentences
• The Pure Logic of Necessitation
• Redundancies in the Hilbert-Bernays derivability conditions for Gödel's second incompleteness theorem
• ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY
• On Rosser's Provability Predicate
• Extensions of some theorems of Gödel and Church
• A NOTE ON DERIVABILITY CONDITIONS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item