On the Expressive Power of Invariant Logics over Sparse Classes of Structures

Autor:	Grange, Julien
Přispěvatelé:	Value from Data (VALDA ), Département d'informatique de l'École normale supérieure (DI-ENS), École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Université Paris sciences et lettres (PSL), ENS Paris, Luc Segoufin
Jazyk:	angličtina
Rok vydání:	2020
Předmět:	Order-invariance Théorie des modèles finis Invariance [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] First-order logic Finite model theory Logique du premier ordre Successor-invariance
Zdroj:	Logic in Computer Science [cs.LO]. ENS Paris, 2020. English
Popis:	This thesis focuses on the expressive power of two invariant logics: successor-invariant first-order logic, Succ-inv FO, and order-invariant first-order logic
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=od_______212::4dd8dbc274632652d4fbcd1a9ca1a72f https://hal.inria.fr/tel-02947853 Zobrazit plný text záznamu