A Gdel Calculus for Linear Temporal Logic.

Juan P. Aguilera, Martn Diguez, David Fernndez-Duque, Brett McLean

Browse the full KR paper archive.