Switch to: References

Add citations

You must login to add citations.
  1. A topological completeness theorem for transfinite provability logic.Juan P. Aguilera - 2023 - Archive for Mathematical Logic 62 (5):751-788.
    We prove a topological completeness theorem for the modal logic $$\textsf{GLP}$$ GLP containing operators $$\{\langle \xi \rangle :\xi \in \textsf{Ord}\}$$ { ⟨ ξ ⟩ : ξ ∈ Ord } intended to capture a wellordered sequence of consistency operators increasing in strength. More specifically, we prove that, given a tall-enough scattered space X, any sentence $$\phi $$ ϕ consistent with $$\textsf{GLP}$$ GLP can be satisfied on a polytopological space based on finitely many Icard topologies constructed over X and corresponding to the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The omega-rule interpretation of transfinite provability logic.David Fernández-Duque & Joost J. Joosten - 2018 - Annals of Pure and Applied Logic 169 (4):333-371.
    Download  
     
    Export citation  
     
    Bookmark   6 citations