scientific article; zbMATH DE number 1136646

MaRDI QIDQ4381704zbMATH OpenFDO

Authors Marcelo Fabián Frias, Gabriel Baum, Armando Martín Haeberer

Publication date 13 May 1998

zbMATH Keywords

calculus for program constructiondynamic logicfirst-order logicfork algebrasmodal logicRasiowa-Sikorski calculusrelation algebrasurvey

Mathematics Subject Classification ID

Classical first-order logic (03B10) Modal logic (including the logic of norms) (03B45) Cylindric and polyadic algebras; relation algebras (03G15) General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 1801371
• scientific article; zbMATH DE number 1086629
• Representability and program construction within fork algebras
• A Finite Axiomatization for Fork Algebras
• scientific article; zbMATH DE number 859785
• Fork Algebras as a Sufficiently Rich Universal Institution
• scientific article; zbMATH DE number 1156791
• Complete calculi for structured specifications in fork algebra
• scientific article; zbMATH DE number 1303460
• A proof system for fork algebras and its applications to reasoning in logics based on intuitionism

Cited in

(22)

• Squares in fork arrow logic
• Parallel composition and decomposition of specifications
• On fork arrow logic and its expressive power
• A proof system for fork algebras and its applications to reasoning in logics based on intuitionism
• On finite and infinite fork algebras and their relational reducts
• ``Keep definition, change category -- a practical approach to state-based system calculi
• scientific article; zbMATH DE number 1801371 (Why is no real title available?)
• Complete calculi for structured specifications in fork algebra
• Fork Algebras as a Sufficiently Rich Universal Institution
• A relation-algebraic approach to the ``Hoare logic of functional dependencies
• Fork algebraic datatypes
• scientific article; zbMATH DE number 1303460 (Why is no real title available?)
• scientific article; zbMATH DE number 1735901 (Why is no real title available?)
• A Finite Axiomatization for Fork Algebras
• scientific article; zbMATH DE number 1086629 (Why is no real title available?)
• Representability and program construction within fork algebras
• scientific article; zbMATH DE number 859798 (Why is no real title available?)
• On the construction of explosive relation algebras
• Axiomatization and computability of a variant of iteration-free PDL with fork
• Adding design strategies to fork algebras
• (Heterogeneous) structured specifications in logics without interpolation
• Interpretability of first-order linear temporal logics in fork algebras

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