Axiomatic semantics of projection temporal logic programs

DOI10.1017/S0960129510000241zbMath1213.68186MaRDI QIDQ3060195

Qian Ma, Zhenhua Duan, Xiao-Xiao Yang

Publication date: 1 December 2010

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

propositional projection temporal logic

Mathematics Subject Classification ID

Logic programming (68N17) Temporal logic (03B44)

Related Items (4)

Verification of distributed systems with the axiomatic system of MSVL ⋮ Compositional reasoning using intervals and time reversal ⋮ Linear time-dependent constraints programming with MSVL ⋮ A structural transformation from p-\(\pi\) to MSVL

Uses Software

• CACTUS
• PVS

Cites Work

• Unnamed Item
• Temporal logic programming
• Programming in metric temporal logic
• An axiomatic proof technique for parallel programs
• The Rely-Guarantee method for verifying shared variable concurrent programs
• Duration calculus: Logical foundations
• Operational semantics of Framed Tempura
• Framed temporal logic programming
• A decision procedure for propositional projection temporal logic with infinite models
• Temporal logic can be more expressive
• Propositional Projection Temporal Logic, B $\ddot{u}$ chi Automata and ω-Regular Expressions
• Proofs of Networks of Processes
• A Temporal extension of Prolog
• Soundness and Completeness of an Axiom System for Program Verification
• Branching-time logic programming: the language Cactus and its applications
• An axiomatic basis for computer programming

This page was built for publication: Axiomatic semantics of projection temporal logic programs