scientific article
From MaRDI portal
Publication:3960665
zbMath0497.03011MaRDI QIDQ3960665
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Modal logic (including the logic of norms) (03B45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Abstract data types; algebraic specification (68Q65)