Axiomatic semantics of projection temporal logic programs
From MaRDI portal
Publication:3060195
DOI10.1017/S0960129510000241zbMATH Open1213.68186MaRDI QIDQ3060195FDOQ3060195
Authors: Zhenhua Duan, Qian Ma, Xiao-Xiao Yang 
Publication date: 1 December 2010
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
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
- Temporal logic can be more expressive
- An axiomatic basis for computer programming
- Soundness and Completeness of an Axiom System for Program Verification
- An axiomatic proof technique for parallel programs
- Framed temporal logic programming
- Proofs of Networks of Processes
- The Rely-Guarantee method for verifying shared variable concurrent programs
- Operational semantics of Framed Tempura
- A decision procedure for propositional projection temporal logic with infinite models
- Title not available (Why is that?)
- Temporal logic programming
- Duration calculus: Logical foundations
- A Temporal extension of Prolog
- Propositional Projection Temporal Logic, B $\ddot{u}$ chi Automata and ω-Regular Expressions
- Programming in metric temporal logic
- Branching-time logic programming: the language Cactus and its applications
Cited In (8)
- Propositional Projection Temporal Logic, B $\ddot{u}$ chi Automata and ω-Regular Expressions
- Linear time-dependent constraints programming with MSVL
- A structural transformation from p-\(\pi\) to MSVL
- Compositional reasoning using intervals and time reversal
- A complete axiom system for propositional projection temporal logic with cylinder computation model
- Title not available (Why is that?)
- Verification of distributed systems with the axiomatic system of MSVL
- A proof system for MSVL programs in Coq
Uses Software
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)
