Decision Procedure for Propositional Projection Temporal Logic with Infinite Models

Duan Zhenhua; Tian Cong

Chinese︱Feedback︱Save this page

Decision Procedure for Propositional Projection Temporal Logic with Infinite Models

Duan Zhenhua *,Tian Cong

Xidian University

*Correspondence author

#Submitted by

Subject:

Funding: 教育部博士点基金（No.20030701015）

Opened online:16 November 2006

Accepted by: none

Citation: Duan Zhenhua,Tian Cong.Decision Procedure for Propositional Projection Temporal Logic with Infinite Models[OL]. [16 November 2006] http://en.paper.edu.cn/en_releasepaper/content/9625

This paper investigates the satisfiability of Propositional Projection Temporal Logic (PPTL) with infinite models. A decision procedure for PPTL formulas is formalized. To this end, Normal Form (NF) and Normal Form Graph (NFG) for PPTL formulas are defined and an algorithm constructing NFGs for PPTL formulas is presented. In addition, examples are also given to illustrate how the decision algorithm works.

Keywords:interval temporal logic, satisfiability, infinite model, model checking, decision procedure

For this paper

● PDF (0B)
● Revision 0 　　
● Print this paper
● Recommend this paper to a friend
● Add to my favorite list

Saved Papers

Please enter a name for this paper to be shown in your personalized Saved Papers list

Tags

Add yours

Related Papers

Other similar papers
● Satisfiablity of Proposi...

Statistics

PDF Downloaded	488
Bookmarked	0
Recommend	5
Comments	Array

Submit your papers

Alert Name:
Alerting to:
Authentication email will be sent to your email address in 24 hours
Frequency:
Email Message Format:	Plain text Graphical(HTML)

Complete the form below and we will recommend the selected titles to your friends on your behalf. * Indicates a required field.
Your name*:
Your email address*:
Recipient's name*:
Recipient's email address*:
(multiple recipient's names and email addresses should be separated with semicolons)
Your comments:	I thought you would find the page(s) useful.

Your name:
Your email address:
Recipient's name:
Recipient's email address:
(multiple recipient's names and email addresses should be separated with semicolons)
Your comments:	I thought you would find this page useful.

Disclaimer: This message was sent to your friend using the "Send it to a friend" facility on the Sciencepaper Online’ WWW site, http://www.paper.edu.cn/en. The Sciencepaper Online is not responsible for the content of this email, and anything said in this email does not necessarily reflect the Sciencepaper Online's views.

	Check out RSS, or use RSS reader to subscribe this item

Saved Papers