Title | Socratic Proofs for Propositional Linear-Time Logic |
---|
Authors | Urbanski, M., Bolotov, A., Shangin, V. and Grigoriev, O. |
---|
Editors | Bolotov, A. |
---|
Type | Conference paper |
---|
Abstract | This paper presents a calculus of Socratic proofs for Propositional Linear-Time Logic (PLTL) and discusses potential automation of its proof search. |
---|
Keywords | temporal logic, socratic proofs, proof search |
---|
Year | 2014 |
---|
Conference | Joint Automated Reasoning Workshop and Deduktionstreffen |
---|
Publisher | IJCAR |
---|
Accepted author manuscript | |
---|
Publication dates |
---|
Published | 2014 |
---|
Book title | Proceedings of the Joint Automated Reasoning Workshop and Deduktionstreffen: As part of the Vienna Summer of Logic – IJCAR 23-24 July 2014 |
---|
Web address (URL) | http://arw.csc.liv.ac.uk/year/2014/ARW2014proceedings.pdf |
---|