scientific article; zbMATH DE number 2149448
From MaRDI portal
Publication:4661973
zbMath1065.03015MaRDI QIDQ4661973
Publication date: 30 March 2005
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: