On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: 10.46298/lmcs-17(3:14)2021
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Universitätsbibliothek der RWTH Aachen
- (wann)
-
2021
- Urheber
-
Hoelzel, Matthias
Wilke, Richard
- DOI
-
10.18154/RWTH-2021-07388
- URN
-
urn:nbn:de:101:1-2021090807503232013507
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:50 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
- Wilke, Richard
- Universitätsbibliothek der RWTH Aachen
Entstanden
- 2021
Ähnliche Objekte (12)
Fragments of existential second-order logic and logics with team semantics
Existential second-order logic over strings
Closed-World Semantics for Query Answering in Temporal Description Logics
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
Logics with Multiteam Semantics
A New n-ary Existential Quantifier in Description Logics
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
Infinitely Valued Gödel Semantics for Expressive Description Logics
![A general algebraic semantics for sentenial [sentential] logics](/assets/placeholder/searchResultMediaNoDigitisedMedia.png)
A general algebraic semantics for sentenial [sentential] logics
Fragments of existential second-order logic and logics with team semantics
Existential second-order logic over strings
Closed-World Semantics for Query Answering in Temporal Description Logics
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
Logics with Multiteam Semantics
A New n-ary Existential Quantifier in Description Logics
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
Infinitely Valued Gödel Semantics for Expressive Description Logics
A general algebraic semantics for sentenial [sentential] logics
Fragments of existential second-order logic and logics with team semantics
Existential second-order logic over strings
Closed-World Semantics for Query Answering in Temporal Description Logics
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
Logics with Multiteam Semantics
A New n-ary Existential Quantifier in Description Logics
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
Infinitely Valued Gödel Semantics for Expressive Description Logics