Publication:2721189

zbMath0963.03005MaRDI QIDQ2721189

Guido Governatori, Antonino Rotolo, Alberto Artosi

Publication date: 1 July 2001

Mathematics Subject Classification ID

03B60: Other nonclassical logic

68T27: Logic in artificial intelligence

03B35: Mechanization of proofs and logical operations

Related Items

An analytic tableau calculus for a temporalised belief logic