Rather, Emerson and Lei show that any linear logic can be extended to a branching logic that can be decided with the same complexity.
Οι Έμερσον και Λάι έδειξαν ότι κάθε γραμμική λογική μπορεί να επεκταθεί σε μια γραμμική λογική που μπορεί να αποκριθεί με την ίδια πολυπλοκότητα.