A Complete Axiomatization of Propositional Projection Temporal Logic

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Zhenhua Duan Articles by Nan Zhang

2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering

June 17-June 19

ISBN: 978-0-7695-3249-3

	ASCII Text	x
	Zhenhua Duan, Nan Zhang, "A Complete Axiomatization of Propositional Projection Temporal Logic," Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on, pp. 271-278, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, 2008.

	BibTex	x
	@article{ 10.1109/TASE.2008.22, author = {Zhenhua Duan and Nan Zhang}, title = {A Complete Axiomatization of Propositional Projection Temporal Logic}, journal ={Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on}, volume = {0}, year = {2008}, isbn = {978-0-7695-3249-3}, pages = {271-278}, doi = {http://doi.ieeecomputersociety.org/10.1109/TASE.2008.22}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on TI - A Complete Axiomatization of Propositional Projection Temporal Logic SN - 978-0-7695-3249-3 SP271 EP278 A1 - Zhenhua Duan, A1 - Nan Zhang, PY - 2008 KW - temporal logic KW - projection KW - axiom KW - inference rules KW - completeness VL - 0 JA - Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on ER -

Zhenhua Duan

Nan Zhang

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TASE.2008.22

This paper investigates a complete axiomatic system for Propositional Projection Temporal Logic (PPTL). To this end, the syntax, semantics, and logic laws of PPTL are briefly introduced. Further, the normal form of PPTL formulas is presented.??Moreover, an axiomatic system of PPTL is formalized. A set of axioms and inference rules are given in details. To assist the proof within the system, some theorems are proved by means of the axioms and rules. In addition, based on the axioms, rules and theorems, the soundness and completeness of the deductive system are proved. Finally, an example is given to illustrate how the axiom system works.

Index Terms:

temporal logic, projection, axiom, inference rules, completeness

Citation:

Zhenhua Duan, Nan Zhang, "A Complete Axiomatization of Propositional Projection Temporal Logic," tase, pp.271-278, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, 2008

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.