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 |
---|