Publication:3957926

zbMath0494.68031MaRDI QIDQ3957926

Grazyna Mirkowska

Publication date: 1981

zbMATH Keywords

dynamic logic; extended algorithmic logic; non-deterministic computations; initial valuations; non-deterministic program modalities

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B60: Other nonclassical logic

68Q60: Specification and verification (program logics, model checking, etc.)

68Q65: Abstract data types; algebraic specification

Related Items

A deductive clustering approach, On logic of complex algorithms