Dynamic Logic with Trace Semantics

DOI10.1007/978-3-642-38574-2_22zbMath1381.03026OpenAlexW96249932MaRDI QIDQ4928449

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

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

Related Items

A Dynamic Logic with Traces and Coinduction