scientific article; zbMATH DE number 3581596
From MaRDI portal
Publication:4151145
Cited in
(5)- Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic
- The temporal logic of branching time
- A complete axiomatic characterization of first-order temporal logic of linear time
- A formal system for parallel programs in discrete time and space
- A generalized nexttime operator in temporal logic
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 Q4151145)
