Skip to main content

1 Result(s)

within Jia-Qi Dang Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    The Comparison of Expressiveness Between LTL and IGPoLTL

    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. ...

    Jia-Qi Dang, Yong-Ming Li in Quantitative Logic and Soft Computing 2016 (2017)