Publication:3007260
From MaRDI portal
zbMath1268.03021MaRDI QIDQ3007260
Luis Fariñas del Cerro, Olivier Gasquet, Mohamad Sahade, Andreas Herzig
Publication date: 21 June 2011
03B45: Modal logic (including the logic of norms)
68T27: Logic in artificial intelligence
03B35: Mechanization of proofs and logical operations