Natural Deduction Calculus for Computation Tree Logic

Sofia, Bulgari October 03-October 06

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/JVA.2006.34

IEEE John Vincent Atanasoff 2006 Inte ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Alexander Bolotov Articles by Oleg Grigoriev Articles by Vasilyi Shangin

	ASCII Text	x
	Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin, "Natural Deduction Calculus for Computation Tree Logic," John Vincent Atanasoff Modern Computing, International Symposium on, pp. 175-183, IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computing (JVA'06), 2006.

	BibTex	x
	@article{ 10.1109/JVA.2006.34, author = {Alexander Bolotov and Oleg Grigoriev and Vasilyi Shangin}, title = {Natural Deduction Calculus for Computation Tree Logic}, journal ={John Vincent Atanasoff Modern Computing, International Symposium on}, volume = {0}, year = {2006}, isbn = {0-7695-2643-8}, pages = {175-183}, doi = {http://doi.ieeecomputersociety.org/10.1109/JVA.2006.34}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - John Vincent Atanasoff Modern Computing, International Symposium on TI - Natural Deduction Calculus for Computation Tree Logic SN - 0-7695-2643-8 SP175 EP183 A1 - Alexander Bolotov, A1 - Oleg Grigoriev, A1 - Vasilyi Shangin, PY - 2006 KW - null VL - 0 JA - John Vincent Atanasoff Modern Computing, International Symposium on ER -

Alexander Bolotov, University of Westminster, UK

Oleg Grigoriev, Moscow State University, Russia

Vasilyi Shangin, Moscow State University, Russia

We present a natural deduction calculus for the Computation Tree Logic, CTL, defined with the full set of classical and temporal logic operators. The system extends the natural deduction construction of the linear-time temporal logic. This opens the prospect to apply our technique as an automatic reasoning tool in a deliberative decision making framework across various applications in AI and Computer Science, where the branching-time setting is required.

Citation:

Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin, "Natural Deduction Calculus for Computation Tree Logic," jva, pp.175-183, IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computing (JVA'06), 2006

Peer Review Notice | Give Us Feedback

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