@zwarich @tmyklebu Trying to refresh my memory: the Wikipedia page does mention that if you add propositional quantification to CTL (in addition to the path quantification) you get a monadic second-order logic, which I guess intersects with what you were mentioning: https://en.wikipedia.org/wiki/Computation_tree_logic#Relations_with_other_logics
=> More informations about this toot | View the thread | More toots from pervognsen@mastodon.social
=> View zwarich@hachyderm.io profile | View tmyklebu@mastodon.gamedev.place profile
text/geminiThis content has been proxied by September (3851b).