scientific article; zbMATH DE number 1953887

zbMATH Open1027.03029MaRDI QIDQ4415071FDOQ4415071

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (7)

• Title not available (Why is that?)
• (Heterogeneous) structured specifications in logics without interpolation
• Tableau reasoning and programming with dynamic first order logic
• Title not available (Why is that?)
• 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)