On inclusions between quantified provability logics

DOI10.1007/s11225-021-09957-yOpenAlexW3186695644MaRDI QIDQ2115286

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)

Related Items (1)

AN ESCAPE FROM VARDANYAN’S THEOREM

Cites Work

• On predicate provability logics and binumerations of fragments of Peano arithmetic
• Four valued semantics and the Liar
• The predicate modal logic of provability
• Provability interpretations of modal logic
• No escape from Vardanyan's theorem
• ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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