Automating natural deduction for linear-time temporal logic
Part of book or chapter of book
- Publisher: IEEE
We present a proof searching technique for the natural\ud deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to apply our technique as an automated reasoning tool in a number of emerging computer science applications and in a deliberative decision making framework across various AI applications.