- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Universitätsbibliothek der RWTH Aachen
- (when)
-
2020
- Creator
-
Grädel, Erich
Wilke, Richard
- DOI
-
10.18154/RWTH-2020-12350
- URN
-
urn:nbn:de:101:1-2021090706312446096523
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:51 PM CET
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
- Grädel, Erich
- Wilke, Richard
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2020
Other Objects (12)
Decidability of predicate logics with team semantics
Fragments of existential second-order logic and logics with team semantics
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
The power of the filtration technique for modal logics with team semantics
Closed-World Semantics for Query Answering in Temporal Description Logics
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
Fibred semantics and the weaving of logics, 1. / Dove M. Gabbay
Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics
On logics with coimplication
On the existence of characterization logics and fundamental properties of argumentation semantics
Terminological logics with modal operators
Decidability of predicate logics with team semantics
Fragments of existential second-order logic and logics with team semantics
Infinitely Valued Gödel Semantics for Expressive Description Logics
A general algebraic semantics for sentenial [sentential] logics
The power of the filtration technique for modal logics with team semantics
Closed-World Semantics for Query Answering in Temporal Description Logics
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
Fibred semantics and the weaving of logics, 1. / Dove M. Gabbay
Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics
On logics with coimplication
On the existence of characterization logics and fundamental properties of argumentation semantics
Terminological logics with modal operators
Decidability of predicate logics with team semantics
Fragments of existential second-order logic and logics with team semantics
Infinitely Valued Gödel Semantics for Expressive Description Logics
A general algebraic semantics for sentenial [sentential] logics
The power of the filtration technique for modal logics with team semantics
Closed-World Semantics for Query Answering in Temporal Description Logics
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
Fibred semantics and the weaving of logics, 1. / Dove M. Gabbay
Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics
On logics with coimplication
On the existence of characterization logics and fundamental properties of argumentation semantics