Socratic Proofs for Propositional Linear-Time Logic
Authors: Alexander Bolotov, Vasilyi Shangin, Oleg Grigoriev and Mariusz Urbanski
Paper Information
| Title: | Socratic Proofs for Propositional Linear-Time Logic |
| Authors: | Alexander Bolotov, Vasilyi Shangin, Oleg Grigoriev and Mariusz Urbanski |
| Proceedings: | ARW-DT 2014 - Automated Reasoning Workshop/Deduktionstreffen Proceedings |
| Editor: | Manfred Kerber |
| Keywords: | natural deduction, proof search, socratic proofs, temporal logic |
| Abstract: | ABSTRACT. This paper presents a calculus of Socratic proofs for Propositional Linear-Time Logic (PLTL) and discuss potential automation of its proof search. |
| Pages: | 2 |
| Talk: | Jul 24 17:00 |
| Paper: |  |