Publication:3509052
From MaRDI portal
zbMath1151.03007MaRDI QIDQ3509052
Mohamad Sahade, Andreas Herzig, Olivier Gasquet
Publication date: 1 July 2008
03B45: Modal logic (including the logic of norms)
03B35: Mechanization of proofs and logical operations
Related Items
Uses Software