Publication:3466620
From MaRDI portal
zbMath1330.03066MaRDI QIDQ3466620
Publication date: 1 February 2016
Full work available at URL: http://ojs.victoria.ac.nz/ajl/article/view/2194/2038
03B45: Modal logic (including the logic of norms)
03B60: Other nonclassical logic
68T27: Logic in artificial intelligence