loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computing (JVA'06)
Natural Deduction Calculus for Computation Tree Logic
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
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
Usage of this product signifies your acceptance of the Terms of Use.