Ordinal completeness of bimodal provability logic GLB

DOI10.1007/978-3-642-22303-7_1MaRDI QIDQ3019966zbMATH OpenOpenAlexFDO

Authors Lev D. Beklemishev

Publication date 29 July 2011

Published in Logic, Language, and Computation (Search for Journal in Brave)

Full work available at URL https://dspace.library.uu.nl/handle/1874/41786

Mathematics Subject Classification ID

Consistency and independence results (03E35) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• scientific article; zbMATH DE number 5862929
• Strong completeness of provability logic for ordinal spaces
• Topological completeness of the provability logic GLP
• scientific article; zbMATH DE number 16407
• The polytopologies of transfinite provability logic

Cited in

(9)

• Global neighbourhood completeness of the Gödel-Löb provability logic
• The polytopologies of transfinite provability logic
• Infinitary combinatorics and modal logic
• scientific article; zbMATH DE number 16407 (Why is no real title available?)
• Derived topologies on ordinals and stationary reflection
• Strong completeness of provability logic for ordinal spaces
• COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
• Topological interpretations of provability logic
• A topological completeness theorem for transfinite provability logic

This page was built for publication: Ordinal completeness of bimodal provability logic GLB

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3019966)