Natural Deduction Calculus for Linear-Time Temporal Logic.

Alexander Bolotov, Artie Basukoski, Oleg M. Grigoriev, Vasilyi Shangin

Browse the full JELIA paper archive.