- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
RWTH Aachen University, Dissertation, 2019
- Schlagwort
-
Logic
Semantics
Order
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Universitätsbibliothek der RWTH Aachen
- (wann)
-
2019
- Urheber
- Beteiligte Personen und Organisationen
-
Grädel, Erich
Hella, Lauri
- DOI
-
10.18154/RWTH-2020-05121
- URN
-
urn:nbn:de:101:1-2020091114320743589049
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:51 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Hoelzel, Matthias
- Grädel, Erich
- Hella, Lauri
- Universitätsbibliothek der RWTH Aachen
Entstanden
- 2019
Ähnliche Objekte (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
Representing logics and logic translations
Quantifier elimination in second-order predicate logic
Computing Least Common Subsumer in Description Logics with Existential Restrictions
Computing Most Specific Concepts 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
Representing logics and logic translations
Quantifier elimination in second-order predicate logic
Computing Least Common Subsumer in Description Logics with Existential Restrictions
Computing Most Specific Concepts 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
Representing logics and logic translations
Quantifier elimination in second-order predicate logic
Computing Least Common Subsumer in Description Logics with Existential Restrictions
Computing Most Specific Concepts in Description Logics with Existential Restrictions
Decidability of predicate logics with team semantics