scientific article

zbMath0494.68031MaRDI QIDQ3957926

Grazyna Mirkowska

Publication date: 1981

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

dynamic logicextended algorithmic logicnon-deterministic computationsinitial valuationsnon-deterministic program modalities

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Related Items

A deductive clustering approach, On logic of complex algorithms