scientific article; zbMATH DE number 3539186
From MaRDI portal
zbMath0346.02003MaRDI QIDQ4115125
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) General logic (03B99) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)
Related Items
A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains, Condensed detachment as a rule of inference
