View of A sequent calculus for propositional temporal logic with time gaps | Lietuvos matematikos rinkinys

← Return to Article Details A sequent calculus for propositional temporal logic with time gaps