Modal Operators over Constructive Logic
From MaRDI portal
Publication:3549311
DOI10.1093/LOGCOM/EXN016zbMath1161.03010OpenAlexW2135415018MaRDI QIDQ3549311
Publication date: 22 December 2008
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exn016
Related Items (2)
This page was built for publication: Modal Operators over Constructive Logic