View of A labeled sequent calculus for propositional linear time logic | Lietuvos matematikos rinkinys

← Return to Article Details A labeled sequent calculus for propositional linear time logic