1 paper
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…