1 paper · 1 filter
Jakub Kallas, Manfred Kufleitner, Alexander Lauser
We consider fragments of first-order logic and as models we allow finite and infinite words simultaneously. The only binary relations apart from equality are order comparison < and…