On inclusions between quantified provability logics

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

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)

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)