scientific article; zbMATH DE number 3968564

MaRDI QIDQ3735690zbMATH OpenFDO

Authors Grazyna Mirkowska, Lucjan Stapp

Publication date 1986

zbMATH Keywords

logics of programsmodal constructsnondeterministic algorithmic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Cited in

(2)

• ``During cannot be expressed by ``after
• scientific article; zbMATH DE number 3881873 (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 Q3735690)