Expressiveness of Büchi vs CTL(*) Posted by DaveBall aka user750378, at cstheory.stackexchange.com, 19 Jun 2012 What is the relationship between the expressiveness of LTL, Büchi/QPTL, CTL and CTL*? Can you give some references that cover…