Axiomatic semantics of projection temporal logic programs
From MaRDI portal
Publication:3060195
Recommendations
- Complete axiomatization for projection temporal logic with finite time
- A decision procedure and complete axiomatization for projection temporal logic
- A complete axiom system for propositional projection temporal logic with cylinder computation model
- scientific article; zbMATH DE number 1786650
- scientific article; zbMATH DE number 4055577
Cites work
- scientific article; zbMATH DE number 3901996 (Why is no real title available?)
- A Temporal extension of Prolog
- A decision procedure for propositional projection temporal logic with infinite models
- An axiomatic basis for computer programming
- An axiomatic proof technique for parallel programs
- Branching-time logic programming: the language Cactus and its applications
- Duration calculus: Logical foundations
- Framed temporal logic programming
- Operational semantics of Framed Tempura
- Programming in metric temporal logic
- Proofs of Networks of Processes
- Propositional Projection Temporal Logic, B $\ddot{u}$ chi Automata and ω-Regular Expressions
- Soundness and Completeness of an Axiom System for Program Verification
- Temporal logic can be more expressive
- Temporal logic programming
- The Rely-Guarantee method for verifying shared variable concurrent programs
Cited in
(8)- A structural transformation from p-\(\pi\) to MSVL
- Verification of distributed systems with the axiomatic system of MSVL
- Compositional reasoning using intervals and time reversal
- A complete axiom system for propositional projection temporal logic with cylinder computation model
- A proof system for MSVL programs in Coq
- Propositional Projection Temporal Logic, B $\ddot{u}$ chi Automata and ω-Regular Expressions
- Linear time-dependent constraints programming with MSVL
- scientific article; zbMATH DE number 6423748 (Why is no real title available?)
This page was built for publication: Axiomatic semantics of projection temporal logic programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3060195)
