scientific article; zbMATH DE number 1136646
From MaRDI portal
Publication:4381704
zbMath0890.03036MaRDI QIDQ4381704
Gabriel A. Baum, Armando Martín Haeberer, Marcelo Fabián Frias
Publication date: 13 May 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveymodal logicfirst-order logicrelation algebradynamic logicfork algebrascalculus for program constructionRasiowa-Sikorski calculus
Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10) General topics in the theory of software (68N01) Cylindric and polyadic algebras; relation algebras (03G15)
Related Items (7)
``Keep definition, change category -- a practical approach to state-based system calculi ⋮ A relation-algebraic approach to the ``Hoare logic of functional dependencies ⋮ Squares in fork arrow logic ⋮ On fork arrow logic and its expressive power ⋮ Axiomatization and computability of a variant of iteration-free PDL with fork ⋮ Parallel composition and decomposition of specifications ⋮ Interpretability of first-order linear temporal logics in fork algebras
This page was built for publication:
