1 paper
Norihiro Kamide, Sara Negri
A unified Gentzen-style framework for until-free propositional linear-time temporal logic is introduced. The proposed framework, based on infinitary rules and rules for primitive n…