scientific article

From MaRDI portal

Publication:3947646

Jump to:navigation, search

zbMath0487.03012MaRDI QIDQ3947646

Grazyna Mirkowska

Publication date: 1981

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

zbMATH Keywords

modality dynamic logic nondeterminism logic of programs algorithmic logic Yanov schemes

Mathematics Subject Classification ID

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

Related Items

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3947646&oldid=17639450"