Publication:3703868
From MaRDI portal
zbMath0581.03010MaRDI QIDQ3703868
Publication date: 1985
fixed points; consistency; Gödel's second incompleteness theorem; provability predicate; Löb's theorem; partial self-reference; self-applied protosyntactical systems; self-referential interpretation
03B45: Modal logic (including the logic of norms)
Related Items