Publication:3199395
From MaRDI portal
zbMath0714.03018MaRDI QIDQ3199395
Publication date: 1990
03B45: Modal logic (including the logic of norms)
03F30: First-order arithmetic and fragments
03F40: Gödel numberings and issues of incompleteness
Related Items
A generalized notion of weak interpretability and the corresponding modal logic, The provability logic for \(\Sigma_ 1\)-interpolability, The logic of linear tolerance, The logic of arithmetical hierarchy