An Equivalence Between Sequent Calculi for Linear-Time Temporal Logic

Bulletin of the Section of Logic, Tom 35, Numer 4 (2006) s. 187-193
Norihiro Kamide

 

do góry