A Sound and Complete Axiomatisation for Intuitionistic Linear Temporal Logic.

David Fernndez-Duque, Brett McLean, Lukas Zenger

Browse the full KR paper archive.