Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

15

JVA
2006
IEEE

favoriteEmaildiscussreport

213views Applied Computing» more JVA 2006»

Natural Deduction Calculus for Computation Tree Logic

13 years 10 months ago

Natural Deduction Calculus for Computation Tree Logic

Download logic.philos.msu.ru

We present a natural deduction calculus for the computation tree logic CTL deﬁned 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.

Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin

Real-time Traffic

Applied Computing | JVA 2006 | Natural Deduction | Temporal Logic | Temporal Logic Operators |

claim paper

Related Content

» Automated Natural Deduction for Propositional LinearTime Temporal Logic

» Parsing as Natural Deduction

» Atomic Cut Elimination for classical Logic

» Pedagogical Natural Deduction Systems the Propositional Case

» Principles of Superdeduction

» Sound and Complete TreeSequent Calculus for Inquisitive Logic

» Refocusing Generalised Normalisation

» The Intensional Lambda Calculus

» Focusing in Linear Metalogic

Post Info
More Details (n/a)

Added	12 Jun 2010
Updated	12 Jun 2010
Type	Conference
Year	2006
Where	JVA
Authors	Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin

Comments (0)