scientific article; zbMATH DE number 2024633
From MaRDI portal
Publication:4443210
zbMath1036.03015MaRDI QIDQ4443210
Publication date: 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)
Related Items
This page was built for publication: