1 citations · 1 across the 1 of their papers we have counts for
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…