A Constructive Presentation for the Modal Connective of Necessity (□)

DOI10.1093/logcom/2.1.31zbMath0763.03014OpenAlexW2068886128MaRDI QIDQ4007157

Mario R. F. Benevides, Thomas S. E. Maibaum

Publication date: 27 September 1992

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/2.1.31

zbMATH Keywords

operational semanticsnatural deductionintuitionistic modal logicsconstructive presentation of modal logicsintuitionistic interpretation of necessity

Mathematics Subject Classification ID

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

Related Items

Geometric modal logic, Dual and axiomatic systems for constructive S4, a formally verified equivalence, Axiomatic and dual systems for constructive necessity, a formally verified equivalence, On the formalization of the modal \(\mu\)-calculus in the calculus of inductive constructions