scientific article
From MaRDI portal
Publication:3912553
zbMath0463.03006MaRDI QIDQ3912553
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
On bimodal logics of provability ⋮ Franco Montagna's work on provability logic and many-valued logic ⋮ Fixed point algebras ⋮ PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC ⋮ Varieties of logical matrices ⋮ A note on the normal form of closed formulas of interpretability logic
This page was built for publication:
