Natural Deduction Calculus for Computation Tree 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/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

IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computing (JVA'06)

Sofia, Bulgari

October 03-October 06

ISBN: 0-7695-2643-8

	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

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

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.