scientific article; zbMATH DE number 4195937
From MaRDI portal
Publication:5202654
zbMath0725.03038MaRDI QIDQ5202654
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenessdecidabilityprovability logictheories extending PApolymodal systemscomplexity of the provability predicate
Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)
Related Items (14)
On strong provability predicates and the associated modal logics ⋮ The Henkin Sentence ⋮ The logic of Turing progressions ⋮ Lewis meets Brouwer: constructive strict implication ⋮ The omega-rule interpretation of transfinite provability logic ⋮ PREDICATIVITY THROUGH TRANSFINITE REFLECTION ⋮ Transductions in arithmetic ⋮ Kripke semantics for provability logic GLP ⋮ The polytopologies of transfinite provability logic ⋮ Derived topologies on ordinals and stationary reflection ⋮ The analytical completeness of Dzhaparidze's polymodal logics ⋮ AXIOMATIZATION OF PROVABLE n-PROVABILITY ⋮ STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
This page was built for publication:
