scientific article
From MaRDI portal
Publication:3917486
zbMATH Open0465.68013MaRDI QIDQ3917486
Publication date: 1981
Title of this publication is not available (Why is that?)
Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01) Interpolation, preservation, definability (03C40) Abstract model theory (03C95)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3917486)