Dynamic logic with trace semantics

DOI10.1007/978-3-642-38574-2_22zbMATH Open1381.03026OpenAlexW96249932MaRDI QIDQ4928449FDOQ4928449

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

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

Mathematics Subject Classification ID

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

Cited In (20)

• Title not available (Why is that?)
• Dynamic logic assigned to automata
• Title not available (Why is that?)
• Dynamic logic of tree composition
• Observational Semantics for Dynamic Logic with Binders
• Title not available (Why is that?)
• Dynamic frames in Java dynamic logic
• Title not available (Why is that?)
• The trace modality
• DaLí -- dynamic logic, new trends and applications
• Behavioral program logic
• Trace Semantics for IPDL
• Specifying imperative ML-like programs using dynamic logic
• Runtime enforcement using knowledge bases
• A dynamic logic for unstructured programs with embedded assertions
• A dynamic logic with traces and coinduction
• Concurrent dynamic logic
• Observational interpretations of hybrid dynamic logic with binders and silent transitions
• A dynamic logic for every season
• Title not available (Why is that?)

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)