Publication:3509052

zbMath1151.03007MaRDI QIDQ3509052

Mohamad Sahade, Andreas Herzig, Olivier Gasquet

Publication date: 1 July 2008

zbMATH Keywords

modal logics; tableau methods; automatic proof

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B35: Mechanization of proofs and logical operations

Related Items

LotrecScheme

Uses Software

• LoTREC