scientific article
From MaRDI portal
Publication:3917485
zbMath0465.68012MaRDI QIDQ3917485
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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)
Related Items (3)
Remarks in abstract model theory ⋮ Definability in dynamic logic ⋮ Propositional dynamic logic with local assignments
This page was built for publication:
