Ordinal Completeness of Bimodal Provability Logic GLB

DOI10.1007/978-3-642-22303-7_1zbMath1341.03090OpenAlexW1416318798MaRDI QIDQ3019966

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)

Related Items (5)

A topological completeness theorem for transfinite provability logic ⋮ The polytopologies of transfinite provability logic ⋮ Derived topologies on ordinals and stationary reflection ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS ⋮ Topological Interpretations of Provability Logic

This page was built for publication: Ordinal Completeness of Bimodal Provability Logic GLB