scientific article; zbMATH DE number 1252394
From MaRDI portal
Publication:4229378
zbMath0915.03009MaRDI QIDQ4229378
Publication date: 5 July 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
temporal semanticsnecessityintuitionistic modalitiesmodal connectivesconnective of nonidentityintuitionistic identityintuitionistic possibility
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Intuitionistic mathematics (03F55)
This page was built for publication: