Logical Theories and Compatible Operations - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2007

Logical Theories and Compatible Operations

Résumé

We survey operations on (possibly infinite) relational structures that are compatible with logical theories in the sense that, if we apply the operation to given structures then we can compute the theory of the resulting structure from the theories of the arguments (the logics under consideration for the result and the arguments might differ). Besides general compatibility results for these operations we also present several results on restricted classes of structures, and their use for obtaining classes of infinite structures with decidable theories.
Fichier non déposé

Dates et versions

hal-00199044 , version 1 (18-12-2007)

Identifiants

  • HAL Id : hal-00199044 , version 1

Citer

Achim Blumensath, Thomas Colcombet, Christof Löding. Logical Theories and Compatible Operations. Erich Grädel, Jörg Flum, Thomas Wilke. Logic and Automata: History and Perspectives, Amsterdam University Press, pp.75 - 109, 2007, Texts in Logic and Games 2. ⟨hal-00199044⟩
50 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More