Self provers and 1 sentences

DOI10.1093/jigpal/jzp096zbMath1252.03140arXiv2004.06934OpenAlexW2019326182WikidataQ120204573 ScholiaQ120204573MaRDI QIDQ2903747

Evan Goris, Joost J. Joosten

Publication date: 1 August 2012

Published in: Logic Journal of IGPL (Search for Journal in Brave)

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

zbMATH Keywords

interpretability logicprovability logicmodal completeness

Mathematics Subject Classification ID

Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Relative consistency and interpretations (03F25)

Related Items (2)

Theory and application of labelling techniques for interpretability logics ⋮ A short note on essentially \(\Sigma_1\) sentences

This page was built for publication: Self provers and  1 sentences