Dynamic logic with trace semantics

DOI10.1007/978-3-642-38574-2_22MaRDI QIDQ4928449zbMATH OpenOpenAlexFDO

Authors Bernhard Beckert, Daniel Bruns

Publication date 14 June 2013

Published in Automated Deduction – CADE-24 (Search for Journal in Brave)

Full work available at URL https://publikationen.bibliothek.kit.edu/1000034593/2609060

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1765704
• A dynamic logic with traces and coinduction
• Concurrent dynamic logic
• scientific article; zbMATH DE number 4101151
• scientific article; zbMATH DE number 1556014

Cited in

(22)

• Observational interpretations of hybrid dynamic logic with binders and silent transitions
• Behavioral program logic
• DaLí -- dynamic logic, new trends and applications
• A dynamic logic for every season
• Specifying imperative ML-like programs using dynamic logic
• Dynamic frames in Java dynamic logic
• A dynamic logic for unstructured programs with embedded assertions
• A dynamic logic with traces and coinduction
• Trace Semantics for IPDL
• scientific article; zbMATH DE number 4047196 (Why is no real title available?)
• Concurrent dynamic logic
• scientific article; zbMATH DE number 4101151 (Why is no real title available?)
• Typed logics with states
• scientific article; zbMATH DE number 1973223 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 1765704 (Why is no real title available?)
• Dynamic logic of tree composition
• scientific article; zbMATH DE number 4197948 (Why is no real title available?)
• Observational Semantics for Dynamic Logic with Binders
• Runtime enforcement using knowledge bases
• Dynamic logic assigned to automata
• The trace modality

This page was built for publication: Dynamic logic with trace semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4928449)