27 citations · 64 across the 13 of their papers we have counts for
1 paper · 1 filter
Silvio Ghilardi, Samuel J. van Gool
Monadic second order logic and linear temporal logic are two logical formalisms that can be used to describe classes of infinite words, i.e., first-order models based on the natura…