Intuitionistic hybrid logic: introduction and survey
From MaRDI portal
Publication:764256
DOI10.1016/j.ic.2011.10.001zbMath1243.03025MaRDI QIDQ764256
Publication date: 13 March 2012
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2011.10.001
03B45: Modal logic (including the logic of norms)