A note on the axiomatisation of Brouwersche modal logic

DOI10.1007/BF00293424zbMath0466.03007OpenAlexW2056702263MaRDI QIDQ1155045

S. H. Smith

Publication date: 1981

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00293424

zbMATH Keywords

Brouwer modal logicmodel-theoretic argument

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (2)

Negative Modalities in the Light of Paraconsistency ⋮ Epistemic logic without closure

This page was built for publication: A note on the axiomatisation of Brouwersche modal logic