A note on the axiomatisation of Brouwersche modal logic
From MaRDI portal
Publication:1155045
DOI10.1007/BF00293424zbMath0466.03007MaRDI QIDQ1155045
Publication date: 1981
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
03B45: Modal logic (including the logic of norms)