scientific article
From MaRDI portal
Publication:3201044
zbMath0715.03024MaRDI QIDQ3201044
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
diagonalizationmodal logicsintuitionistic logicsextremely undecidable sentencesuniform arithmetical completeness of propositional logics of provability
Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)
Related Items (2)
This page was built for publication:
