The expressiveness of linear temporal logic plays an important role in model checking. But the expressiveness of linear temporal logic based on generalized possibility measure has not been researched roundly.We compare the expressiveness of linear temporal logic (LTL) and interval generalized possibilistic linear temporal logic (IGPoLTL), and prove that LTL is a proper subclass of IGPoLTL. Besides, we define the α-equivalence between LTL formulae and IGPoLTL formulae and get some corresponding properties.
CITATION STYLE
Dang, J. Q., & Li, Y. M. (2017). The comparison of expressiveness between LTL and IGPoLTL. In Advances in Intelligent Systems and Computing (Vol. 510, pp. 147–155). Springer Verlag. https://doi.org/10.1007/978-3-319-46206-6_16
Mendeley helps you to discover research relevant for your work.