AN ESCAPE FROM VARDANYAN’S THEOREM

DOI10.1017/jsl.2022.38arXiv2102.13091OpenAlexW3132883413WikidataQ113858278 ScholiaQ113858278MaRDI QIDQ6140187

Ana de Almeida Borges, Joost J. Joosten

Publication date: 22 December 2023

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

modal logicprovability logicquantified modal logicstrictly positive logicsarithmetic interpretationsfeasible fragments

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) First-order arithmetic and fragments (03F30) Proof theory in general (including proof-theoretic semantics) (03F03) Intuitionistic mathematics (03F55) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Cites Work

• On predicate provability logics and binumerations of fragments of Peano arithmetic
• Positive provability logic for uniform reflection principles
• The predicate modal logic of provability
• Provability interpretations of modal logic
• Provability logic and the completeness principle
• Positive modal logic
• On inclusions between quantified provability logics
• Reflection algebras and conservation results for theories of iterated truth
• On the positive fragment of the polymodal provability logic GLP
• No escape from Vardanyan's theorem
• Finite Kripke models and predicate logics of provability
• Arithmetization of metamathematics in a general setting
• The degree of the set of sentences of predicate provability logic that are true under every interpretation
• A Note on Strictly Positive Logics and Word Rewriting Systems
• KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS
• On axiomatizability within a system
• An Arithmetically Complete Predicate Modal Logic
• Refining the arithmetical hierarchy of classical principles
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: AN ESCAPE FROM VARDANYAN’S THEOREM