scientific article; zbMATH DE number 1348455
From MaRDI portal
Publication:4264704
zbMath0925.03085MaRDI QIDQ4264704
Ricardo Caferra, Stéphane P. Demri
Publication date: 7 October 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Mechanization of proofs and logical operations (03B35)
This page was built for publication:
