On inclusions between quantified provability logics

DOI10.1007/S11225-021-09957-YOpenAlexW3186695644MaRDI QIDQ2115286FDOQ2115286

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

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

zbMATH Keywords

arithmetical interpretationformalized arithmeticquantified provability logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Four valued semantics and the Liar
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Provability interpretations of modal logic
• No escape from Vardanyan's theorem
• The predicate modal logic of provability
• On predicate provability logics and binumerations of fragments of Peano arithmetic
• Arithmetical interpretations and Kripke frames of predicate modal logic of provability
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)