Found 1 document(s)
Page 1 of 1
-
We consider intuitionistic variants of linear temporal logic with “next,” “until,” and “release” based on expanding posets: partial orders equipped with an order-preserving transition function. This class of structures g...