scientific article
From MaRDI portal
Publication:3743302
zbMath0605.03007MaRDI QIDQ3743302
Publication date: 1985
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) Categoricity and completeness of theories (03C35)
Related Items (4)
Franco Montagna's work on provability logic and many-valued logic ⋮ Liar-type paradoxes and the incompleteness phenomena ⋮ AN ESCAPE FROM VARDANYAN’S THEOREM ⋮ A generalized notion of weak interpretability and the corresponding modal logic
This page was built for publication: