New answers tagged reference-request
1
vote
A proof of the completeness of PLTL (Propositional Linear Temporal Logic)
The proof system "DUX" in On the temporal analysis of fairness. D Gabbay, A Pnueli, S Shelah, J Stavi. POPL 1980 is perhaps closest to what you're after. Being a conference paper, the ...
- 480
Top 50 recent answers are included