scientific article; zbMATH DE number 1341615
From MaRDI portal
Publication:4263164
zbMath0937.03014MaRDI QIDQ4263164
Hans de Nivelle, Carlos Areces, Maarten de Rijke
Publication date: 17 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)
Related Items (1)
This page was built for publication:
