scientific article; zbMATH DE number 3827838

MaRDI QIDQ3674630zbMATH OpenFDO

Authors Francine Berman

Publication date 1983

zbMATH Keywords

semanticsmodelspropositional dynamic logicprogramming logicKleene star

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Properties of classes of models (03C52) Nonstandard models (03H99)

Cited in

(1)

• Non-standard algorithmic and dynamic logic

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