scientific article
From MaRDI portal
Publication:3199395
zbMath0714.03018MaRDI QIDQ3199395
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)
Related Items (4)
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
This page was built for publication:
