View of Restrictions for loop-check in sequent calculus for temporal logic with until operator | Lietuvos matematikos rinkinys

← Restrictions for loop-check in sequent calculus for temporal logic with until operator