scientific article; zbMATH DE number 1765704

zbMATH Open0988.03051MaRDI QIDQ4539645FDOQ4539645

Authors: Bernhard Beckert, Steffen Schlager 

Publication date: 10 July 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2083/20830626

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

Recommendations

• Dynamic logic with trace semantics
• A dynamic logic with traces and coinduction
• Sequential dynamic logic
• scientific article; zbMATH DE number 4008371
• scientific article; zbMATH DE number 1678381

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Cited In (8)

• A deductive approach towards reasoning about algebraic transition systems
• A dynamic logic with branching modalities
• A sequent calculus for propositional dynamic logic for agents with interactions
• A Dynamic Logic with Traces and Coinduction
• Tableau reasoning and programming with dynamic first order logic
• A system for compositional verification of asynchronous objects
• Dynamic logic with trace semantics
• High-Level Programs and Program Conditions

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