Séminaire Valda : Julien Grange

6 décembre 2019, 10h30-11h30. ENS, S16. Order-invariant first-order logic over hollow trees. Order-invariant first-order logic is the extension of first-order logic in which the usage of an additional ordering relation on the structure’s universe is allowed, provided that the evaluation of sentences is independent of the choice of a particular…

Lire la suite