STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES

DOI10.1017/jsl.2017.3zbMath1419.03054arXiv1511.05882OpenAlexW2963144372MaRDI QIDQ4977222

David Fernández-Duque, Juan P. Aguilera

Publication date: 3 August 2017

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

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

zbMATH Keywords

scattered spaceprovability logictopological semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Scattered spaces (54G12) Recursive ordinals and ordinal notations (03F15) Ordinal and cardinal numbers (03E10) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Gödel numberings and issues of incompleteness (03F40)

Related Items (6)

A topological completeness theorem for transfinite provability logic ⋮ COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES ⋮ TAMING THE ‘ELSEWHERE’: ON EXPRESSIVITY OF TOPOLOGICAL LANGUAGES ⋮ Derived topologies on ordinals and stationary reflection ⋮ NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC ⋮ MÜNCHHAUSEN PROVABILITY

Cites Work

• Hyperations, Veblen progressions and transfinite iteration of ordinal functions
• Topological completeness of the provability logic GLP
• Multimodal logics of products of topologies
• Scattered and hereditarily irresolvable spaces in modal logic
• Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces.
• The polytopologies of transfinite provability logic
• A Topological Study of the Closed Fragment of GLP
• Infinitary combinatorics and modal logic
• Topological Interpretations of Provability Logic
• Models of transfinite provability logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES