- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
RWTH Aachen University, Dissertation, 2019
- Keyword
-
Logic
Semantics
Order
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Universitätsbibliothek der RWTH Aachen
- (when)
-
2019
- Creator
- Contributor
-
Grädel, Erich
Hella, Lauri
- DOI
-
10.18154/RWTH-2020-05121
- URN
-
urn:nbn:de:101:1-2020091114320743589049
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:53 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Hoelzel, Matthias
- Grädel, Erich
- Hella, Lauri
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2019
Other Objects (12)
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
Existential second-order logic over strings
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
Logics with Multiteam Semantics
Logic(s) of imagination
A New n-ary Existential Quantifier in Description Logics
Exact Truthmaker Semantics for Modal Logics
Representing logics and logic translations
Computing Most Specific Concepts in Description Logics with Existential Restrictions
Computing Least Common Subsumer in Description Logics with Existential Restrictions
Decidability of predicate logics with team semantics
Feature-placing, localizability, and the semantics of existential sentences
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
Existential second-order logic over strings
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
Logics with Multiteam Semantics
Logic(s) of imagination
A New n-ary Existential Quantifier in Description Logics
Exact Truthmaker Semantics for Modal Logics
Representing logics and logic translations
Computing Most Specific Concepts in Description Logics with Existential Restrictions
Computing Least Common Subsumer in Description Logics with Existential Restrictions
Decidability of predicate logics with team semantics
Feature-placing, localizability, and the semantics of existential sentences
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
Existential second-order logic over strings
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
Logics with Multiteam Semantics
Logic(s) of imagination
A New n-ary Existential Quantifier in Description Logics
Exact Truthmaker Semantics for Modal Logics
Representing logics and logic translations
Computing Most Specific Concepts in Description Logics with Existential Restrictions
Computing Least Common Subsumer in Description Logics with Existential Restrictions
Decidability of predicate logics with team semantics