Eickmeyer, Kord (2020):
Logics with Invariantly Used Relations.
Darmstadt, Technische Universität Darmstadt, Fachbereich Mathematik, DOI: 10.25534/tuprints-00013503,
[Habilitation]
|
Text
habil.pdf Available under CC-BY 4.0 International - Creative Commons, Attribution. Download (979kB) | Preview |
Item Type: | Habilitation |
---|---|
Title: | Logics with Invariantly Used Relations |
Language: | English |
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. |
Place of Publication: | Darmstadt |
Classification DDC: | 000 Allgemeines, Informatik, Informationswissenschaft > 004 Informatik 500 Naturwissenschaften und Mathematik > 510 Mathematik |
Divisions: | 04 Department of Mathematics > Logic 04 Department of Mathematics > Logic > Algorithmic Model Theory |
Date Deposited: | 22 Sep 2020 13:54 |
Last Modified: | 22 Sep 2020 16:36 |
DOI: | 10.25534/tuprints-00013503 |
URN: | urn:nbn:de:tuda-tuprints-135032 |
URI: | https://tuprints.ulb.tu-darmstadt.de/id/eprint/13503 |
Export: |
![]() |
View Item |