Eickmeyer, Kord (2020)
Logics with Invariantly Used Relations.
Universitäts- und Landesbibliothek Darmstadt, 2020
doi: 10.25534/tuprints-00013503
Habilitation, Secondary publication
 | There is a more recent version of this item available. |
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.
| Item Type: | Habilitation |
|---|---|
| Erschienen: | 2020 |
| Creators: | Eickmeyer, Kord |
| Type of entry: | Secondary publication |
| Title: | Logics with Invariantly Used Relations |
| Language: | English |
| Date: | 2020 |
| Place of Publication: | Darmstadt |
| Year of primary publication: | 2020 |
| Place of primary publication: | Darmstadt |
| DOI: | 10.25534/tuprints-00013503 |
| URL / URN: | https://tuprints.ulb.tu-darmstadt.de/13503 |
| 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. |
| URN: | urn:nbn:de:tuda-tuprints-135032 |
| Classification DDC: | 000 Generalities, computers, information > 004 Computer science 500 Science and mathematics > 510 Mathematics |
| Divisions: | 04 Department of Mathematics 04 Department of Mathematics > Logic 04 Department of Mathematics > Logic > Algorithmic Model Theory |
| Date Deposited: | 22 Sep 2020 13:54 |
| Last Modified: | 16 Feb 2024 11:45 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
Available Versions of this Item
- Logics with Invariantly Used Relations. (deposited 22 Sep 2020 13:54) [Currently Displayed]
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum