scientific article
From MaRDI portal
Publication:3768879
zbMATH Open0632.03023MaRDI QIDQ3768879
Publication date: 1987
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) Intermediate logics (03B55)
Related Items (6)
Superintuitionistic companions of classical modal logics ⋮ A new constant in superintuitionistic logic L3 ⋮ Unnamed Item ⋮ Subintuitionistic logics and the implications they prove ⋮ Supervaluation fixed-point logics of truth ⋮ Number of prelocally table superintuitionistic propositional logics
This page was built for publication:
