TIME   2007 International Syposium on Temporal Representation and Reasoning
Wall of Fame | Most Viewed TIME-2007 Paper
10 years 10 months ago
Automated Natural Deduction for Propositional Linear-Time Temporal Logic
We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to ap...
Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source173
2Download preprint from source152
3Download preprint from source151
4Download preprint from source145
5Download preprint from source137
6Download preprint from source113
7Download preprint from source110
8Download preprint from source97
9Download preprint from source93
10Download preprint from source90
11Download preprint from source81