On graphs for intuitionistic modal logics
From MaRDI portal
Publication:1744424
DOI10.1016/j.entcs.2016.06.014zbMath1394.03036WikidataQ113317677 ScholiaQ113317677MaRDI QIDQ1744424
Paulo A. S. Veloso, Sheila R. M. Veloso
Publication date: 23 April 2018
Full work available at URL: https://doi.org/10.1016/j.entcs.2016.06.014
03B45: Modal logic (including the logic of norms)