New answers tagged

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