scientific article; zbMATH DE number 4031647

MaRDI QIDQ3772188zbMATH OpenFDO

Authors Zdzislaw Habasinski

Publication date 1986

zbMATH Keywords

dynamic logic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Complexity of computation (including implicit computational complexity) (03D15) Abstract data types; algebraic specification (68Q65)

Cited in

(3)

• Deterministic process logic is elementary
• scientific article; zbMATH DE number 3909727 (Why is no real title available?)
• scientific article; zbMATH DE number 6863850 (Why is no real title available?)

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 Q3772188)