The Worm Calculus

zbMath1418.03076arXiv1803.10543MaRDI QIDQ5224557

Ana de Almeida Borges, Joost J. Joosten

Publication date: 24 July 2019

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

zbMATH Keywords

ordinal notationsprovability logicclosed fragmentstrictly positive logicsreflection calculusfeasible fragments

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (2)

Deducibility and independence in Beklemishev's autonomous provability calculus ⋮ Reflection calculus and conservativity spectra

This page was built for publication: The Worm Calculus