On inclusions between quantified provability logics

DOI10.1007/S11225-021-09957-YMaRDI QIDQ2115286zbMATH OpenOpenAlexFDO

Authors Taishi Kurahashi

Publication date 15 March 2022

Published in Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

arithmetical interpretationformalized arithmeticquantified provability logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• scientific article; zbMATH DE number 4006264
• scientific article; zbMATH DE number 2174393
• scientific article; zbMATH DE number 4204315
• Provability logics with quantifiers on proofs
• scientific article; zbMATH DE number 4099259

Cites work

• scientific article; zbMATH DE number 3957096 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 3635994 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 2014521 (Why is no real title available?)
• scientific article; zbMATH DE number 4118337 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• Arithmetical interpretations and Kripke frames of predicate modal logic of provability
• Four valued semantics and the Liar
• No escape from Vardanyan's theorem
• On predicate provability logics and binumerations of fragments of Peano arithmetic
• Provability interpretations of modal logic
• The predicate modal logic of provability

Cited in

(2)

• AN ESCAPE FROM VARDANYAN’S THEOREM
• On inclusions between quantified provability logics

This page was built for publication: On inclusions between quantified provability logics

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