scientific article; zbMATH DE number 3765758

MaRDI QIDQ3947646zbMATH OpenFDO

Authors Grazyna Mirkowska

Publication date 1981

zbMATH Keywords

modalitynondeterminismdynamic logiclogic of programsalgorithmic logicYanov schemes

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65)

Cited in

(4)

• Gentzen-type axiomatization for PAL
• Strong completeness and limited canonicity for PDL
• Erratum to: ``Strong completeness and limited canonicity for PDL
• DAL -- a logic for data analysis

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