Effectively constructible fixed points in Sacchetti's modal logics of provability

DOI10.1215/00294527-2022-0003OpenAlexW2903170125MaRDI QIDQ2134275

Yuya Okawa, Taishi Kurahashi

Publication date: 6 May 2022

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

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

zbMATH Keywords

fixed point theoremprovability logicSacchetti's logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items

Interpolation properties for Sacchetti's logics

Cites Work

• Unnamed Item
• Unnamed Item
• A new proof of the fixed-point theorem of provability logic
• The modal logic of provability. The sequential approach
• Self-reference and modal logic
• Provability interpretations of modal logic
• An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
• The fixed point property in modal logic
• Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations
• Note on some fixed point constructions in provability logic
• Provability logic—a short introduction

This page was built for publication: Effectively constructible fixed points in Sacchetti's modal logics of provability