scientific article; zbMATH DE number 683369

zbMath0813.68134MaRDI QIDQ4312491

Rix Groenboom, Gerard R. Renardel de Lavalette

Publication date: 29 November 1994

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

zbMATH Keywords

specification languagessemanticsaxiomatizationsyntaxmodal logic of creation and modification

Mathematics Subject Classification ID

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

Related Items (4)

Regular database update logics ⋮ A unifying logic for non-deterministic, parallel and concurrent abstract state machines ⋮ A Proof System with Bounded Non-determinism in Database Transformations ⋮ From static to dynamic abstract data-types: An institution transformation

This page was built for publication: