TU Darmstadt / ULB / TUprints

Logics with Invariantly Used Relations

Eickmeyer, Kord (2020)
Logics with Invariantly Used Relations.
Technische Universität Darmstadt, 2020
doi: 10.25534/tuprints-00013503
Habilitation, Secondary publication, Publisher's Version

Copyright Information: CC BY 4.0 International - Creative Commons, Attribution.

Download (979kB) | Preview
Item Type: Habilitation
Type of entry: Secondary publication
Title: Logics with Invariantly Used Relations
Language: English
Date: 22 September 2020
Place of Publication: Darmstadt
Year of primary publication: 2020
DOI: 10.25534/tuprints-00013503

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.

Status: Publisher's Version
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 > Logic
04 Department of Mathematics > Logic > Algorithmic Model Theory
Date Deposited: 22 Sep 2020 13:54
Last Modified: 16 Feb 2024 11:44
URI: https://tuprints.ulb.tu-darmstadt.de/id/eprint/13503
PPN: 46981330X
Actions (login required)
View Item View Item