Eickmeyer, Kord (2020)
Logics with Invariantly Used Relations.
Technische Universität Darmstadt
Habilitation, Bibliographie
Dies ist die neueste Version dieses Eintrags.
Kurzbeschreibung (Abstract)
This thesis deals with various aspects of the finite model theory of logics with invariantly used relations. To construct such a logic we start with an arbitrary logic L, such as first-order or monadic second-order logic and enrich it by giving it the ability to speak about additional relations such as a linear order which is not actually defined on the structure in question, provided that its truth value be independent of which particular linear order we choose. We investigate how the expressive power of the resulting logics relates to that of the base logic L, and give efficient algorithms for model-checking.
| Typ des Eintrags: | Habilitation |
|---|---|
| Erschienen: | 2020 |
| Autor(en): | Eickmeyer, Kord |
| Art des Eintrags: | Bibliographie |
| Titel: | Logics with Invariantly Used Relations |
| Sprache: | Englisch |
| Publikationsjahr: | 2020 |
| Ort: | Darmstadt |
| Zugehörige Links: | |
| Kurzbeschreibung (Abstract): | This thesis deals with various aspects of the finite model theory of logics with invariantly used relations. To construct such a logic we start with an arbitrary logic L, such as first-order or monadic second-order logic and enrich it by giving it the ability to speak about additional relations such as a linear order which is not actually defined on the structure in question, provided that its truth value be independent of which particular linear order we choose. We investigate how the expressive power of the resulting logics relates to that of the base logic L, and give efficient algorithms for model-checking. |
| Sachgruppe der Dewey Dezimalklassifikatin (DDC): | 000 Allgemeines, Informatik, Informationswissenschaft > 004 Informatik 500 Naturwissenschaften und Mathematik > 510 Mathematik |
| Fachbereich(e)/-gebiet(e): | 04 Fachbereich Mathematik 04 Fachbereich Mathematik > Logik 04 Fachbereich Mathematik > Logik > Algorithmic Model Theory |
| Hinterlegungsdatum: | 16 Feb 2024 11:46 |
| Letzte Änderung: | 16 Feb 2024 11:46 |
| PPN: | |
| Zugehörige Links: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
Verfügbare Versionen dieses Eintrags
-
Logics with Invariantly Used Relations. (deposited 22 Sep 2020 13:54)
- Logics with Invariantly Used Relations. (deposited 16 Feb 2024 11:46) [Gegenwärtig angezeigt]
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum