Logic Group Preprint Series

Beklemishev, L.D.

290

A simplified proof of arithmetical completeness theorem for provability logic GLP
Beklemishev, L.D.
282

Ordinal completeness of bimodal provability logic GLB
Beklemishev, L.D.
278

On topological models of GLP
Beklemishev, L.D. | Bezhanishvili, Guram | Icard, Thomas
262

On the Craig interpolation and the fixed point property for GLP
Beklemishev, L.D.
260

Kripke semantics for provability logic GLP
Beklemishev, L.D.
240

A finitary treatment of the closed fragment of Japaridze’s provability logic
Beklemishev, L.D. | Joosten, Joost J. | Vervoort, M.
236

Reflection principles and provability algebras in formal arithmetic
Beklemishev, L.D.
235

Problems in the Logic of Provability
Beklemishev, L.D. | Visser, Albert
234

Provability Logic
Artemov, S.N. | Beklemishev, L.D.
232

Veblen hierarchy in the context of provability algebras
Beklemishev, L.D.
224

On the limit existence principles in elementary arithmetic and related topics
Beklemishev, L.D. | Visser, Albert
222

Quantifier-free induction schema and the least element principle
Beklemishev, L.D.
219

The Worm principle
Beklemishev, L.D.
208

Provability algebras and proof-theoretic ordinals, I
Beklemishev, L.D.
206

On the query complexity of finding a local maximum point
Beklemishev, L.D. | Rastsvelaev, A.L.
205

On the induction schema for decidable predicates
Beklemishev, L.D.
171

Parameter free induction and reflection
Beklemishev, L.D.
168

Induction rules, reflection principles and provably recursive functions
Beklemishev, L.D.
146

Induction rules, reflection principles, and provably recursive functions
Beklemishev, L.D.
133

Notes on local reflection principles
Beklemishev, L.D.
118

Iterated local reflection vs iterated consistency
Beklemishev, L.D.