Dynamic Logic with Non-rigid Functions
From MaRDI portal
Recommendations
- STRUCTURED NONSTANDARD DYNAMIC LOGIC
- Dynamic non-commutative logic
- scientific article; zbMATH DE number 1556014
- scientific article; zbMATH DE number 1852915
- scientific article; zbMATH DE number 1032009
- Non-standard algorithmic and dynamic logic
- scientific article; zbMATH DE number 4197948
- scientific article; zbMATH DE number 753771
- Dynamic predicates in functional logic programs
- General dynamic dynamic logic
Cited in
(15)- Differential dynamic logic for hybrid systems
- Dynamic non-commutative logic
- Towards a hybrid dynamic logic for hybrid dynamic systems
- scientific article; zbMATH DE number 2084328 (Why is no real title available?)
- Interleaving symbolic execution and partial evaluation
- Predicate Abstraction in a Program Logic Calculus
- On the Completeness of Dynamic Logic
- scientific article; zbMATH DE number 1794691 (Why is no real title available?)
- A dynamic logic for deductive verification of multi-threaded programs
- Multimodal Separation Logic for Reasoning About Operational Semantics
- Predicate abstraction in a program logic calculus
- A verified VCGen based on dynamic logic: an exercise in meta-verification with Why3
- The HOL-CSP Refinement Toolkit
- HOL-CSP Version 2.0
- A Sound Type System for Physical Quantities, Units, and Measurements
This page was built for publication: Dynamic Logic with Non-rigid Functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3613414)
