View of Specialization of loop rules of a sequent calculus of intuitionistic temporal logic with time gaps | Lietuvos matematikos rinkinys

← Specialization of loop rules of a sequent calculus of intuitionistic temporal logic with time gaps