scientific article
From MaRDI portal
Publication:3875898
zbMath0436.03012MaRDI QIDQ3875898
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
finite model propertyS4superintuitionistic fragmentclassification of normal modal logicsclusters of Kripke-frames
Related Items (2)
Best solving modal equations ⋮ Maksimova, Relevance and the Study of Lattices of Non-classical Logics
This page was built for publication: