scientific article; zbMATH DE number 859796
From MaRDI portal
Publication:4870568
zbMath0841.03006MaRDI QIDQ4870568
Publication date: 16 July 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40)
Related Items (2)
A note on constructive interpolation for the multi-modal logic \(K_m\) ⋮ On Algebraisation of Superintuitionistic Predicate Logics
This page was built for publication:
