DocumentCode
2804295
Title
Natural Deduction Calculus for Computation Tree Logic
Author
Bolotov, Alexander ; Grigoriev, Oleg ; Shangin, Vasilyi
Author_Institution
Harrow Sch. of Comput. Sci., Westminster Univ., Harrow
fYear
2006
fDate
3-6 Oct. 2006
Firstpage
175
Lastpage
183
Abstract
The authors 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
Keywords
decision making; inference mechanisms; process algebra; temporal logic; artificial intelligence; automatic reasoning tool; branching-time setting; classical logic operators; computation tree logic; computer science; decision making; natural deduction calculus; temporal logic operators; Application software; Artificial intelligence; Automatic logic units; Calculus; Computer science; Decision making; Engines; Formal specifications; Management information systems; Neodymium;
fLanguage
English
Publisher
ieee
Conference_Titel
Modern Computing, 2006. JVA '06. IEEE John Vincent Atanasoff 2006 International Symposium on
Conference_Location
Sofia
Print_ISBN
0-7695-2643-8
Type
conf
DOI
10.1109/JVA.2006.34
Filename
4022058
Link To Document