Axiomatic semantics of projection temporal logic programs

DOI10.1017/S0960129510000241zbMath1213.68186MaRDI QIDQ3060195

Zhenhua Duan, Qian Ma, 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

68N17: Logic programming

03B44: Temporal logic

Related Items

Linear time-dependent constraints programming with MSVL, Compositional reasoning using intervals and time reversal

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