scientific article
From MaRDI portal
Publication:3328520
zbMATH Open0541.03008MaRDI QIDQ3328520
Publication date: 1980
Title of this publication is not available (Why is that?)
Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65)
Related Items (6)
The expressive power of second-order propositional modal logic ⋮ Title not available (Why is that?) ⋮ Expressive power and incompleteness of propositional logics ⋮ Exemplaric Expressivity of Modal Logics ⋮ The comparison of the expressive power of first-order dynamic logics ⋮ Title not available (Why is that?)
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 Q3328520)
