The provability logic of all provability predicates

DOI10.1093/LOGCOM/EXAD060MaRDI QIDQ6636677zbMATH OpenFDO

Authors Taishi Kurahashi

Publication date 12 November 2024

Published in Journal Of Logic And Computation (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Cited in

(4)

• Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
• The finite frame property of some extensions of the pure logic of necessitation
• Interpolation properties for the bimodal provability logic \textbf{GR}
• Modal logical aspects of provability predicates and consistency statements

This page was built for publication: The provability logic of all provability predicates

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