scientific article; zbMATH DE number 1953887

MaRDI QIDQ4415071zbMATH OpenFDO

Authors Marcelo Fabián Frias, Gabriel Baum, Tim Maibaum

Publication date 28 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2561/25610066.htm

Mathematics Subject Classification ID

Logic in computer science (03B70) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• Dynamic logic with program specifications and its relational proof system
• scientific article; zbMATH DE number 4061199
• scientific article; zbMATH DE number 4128794
• scientific article; zbMATH DE number 1556014
• scientific article; zbMATH DE number 4112562

Cited in

(7)

• scientific article; zbMATH DE number 4128794 (Why is no real title available?)
• (Heterogeneous) structured specifications in logics without interpolation
• Tableau reasoning and programming with dynamic first order logic
• scientific article; zbMATH DE number 5722451 (Why is no real title available?)
• Regular dynamic logic is not interpretable in deterministic context-free dynamic logic
• The comparison of the expressive power of first-order dynamic logics
• 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 Q4415071)