scientific article
From MaRDI portal
Publication:3469083
zbMath0694.03014MaRDI QIDQ3469083
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicdecidabilitynumber of modalitiesHeyting intuitionistic logic ICJohanson minimal logic MCmodal extensionspositive logic PCpositive logic with semi-negation NC
Modal logic (including the logic of norms) (03B45) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)
This page was built for publication:
