scientific article; zbMATH DE number 3947618

zbMATH Open0589.68028MaRDI QIDQ3718147FDOQ3718147

Authors: Grazyna Mirkowska 

Publication date: 1984

Title of this publication is not available (Why is that?)

Recommendations

• More on nonregular PDL: Finite models and Fibonacci-like programs
• scientific article; zbMATH DE number 19783
• Publication:3475251
• scientific article; zbMATH DE number 18645
• scientific article; zbMATH DE number 3848600

zbMATH Keywords

expressivenesslogic of programspropositional algorithmic logicfinite degree of nondeterminismKripke-like semantic structure

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65)

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