- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
57 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
- Erschienen in
-
Fibred semantics and the weaving of logics
Arbeitspapiere des Sonderforschungsbereichs 340 Sprachtheoretische Grundlagen für die Computerlinguistik / Sonderforschungsbereich Sprachtheoretische Grundlagen für die Computerlinguistik ; Bericht Nr. 36
- Ereignis
-
Veröffentlichung
- (wo)
-
Heidelberg
- (wer)
-
IBM Deutschland, Wiss. Zentrum, Inst. für Wissensbasierte Systeme
- (wann)
-
1993
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
- 11.06.2025, 13:46 MESZ
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
- Gabbay, Dov M.
- IBM Deutschland, Wiss. Zentrum, Inst. für Wissensbasierte Systeme
Entstanden
- 1993
Ähnliche Objekte (12)
Logics with Multiteam Semantics
Exact Truthmaker Semantics for Modal Logics
Decidability of predicate logics with team semantics
![A general algebraic semantics for sentenial [sentential] logics](/assets/placeholder/searchResultMediaNoDigitisedMedia.png)
A general algebraic semantics for sentenial [sentential] logics
Infinitely Valued Gödel Semantics for Expressive Description Logics
Simplified Kripke-Style Semantics for Some Normal Modal Logics
The power of the filtration technique for modal logics with team semantics
Closed-World Semantics for Query Answering in Temporal Description Logics
Tableaux for Logics of Content Relationship and Set-Assignment Semantics
Weaving
On the existence of characterization logics and fundamental properties of argumentation semantics
On the Existence of Characterization Logics and Fundamental Properties of Argumentation Semantics
Logics with Multiteam Semantics
Exact Truthmaker Semantics for Modal Logics
Decidability of predicate logics with team semantics
A general algebraic semantics for sentenial [sentential] logics
Infinitely Valued Gödel Semantics for Expressive Description Logics
Simplified Kripke-Style Semantics for Some Normal Modal Logics
The power of the filtration technique for modal logics with team semantics
Closed-World Semantics for Query Answering in Temporal Description Logics
Tableaux for Logics of Content Relationship and Set-Assignment Semantics
Weaving
On the existence of characterization logics and fundamental properties of argumentation semantics
On the Existence of Characterization Logics and Fundamental Properties of Argumentation Semantics
Logics with Multiteam Semantics
Exact Truthmaker Semantics for Modal Logics
Decidability of predicate logics with team semantics
A general algebraic semantics for sentenial [sentential] logics
Infinitely Valued Gödel Semantics for Expressive Description Logics
Simplified Kripke-Style Semantics for Some Normal Modal Logics
The power of the filtration technique for modal logics with team semantics
Closed-World Semantics for Query Answering in Temporal Description Logics
Tableaux for Logics of Content Relationship and Set-Assignment Semantics
Weaving
On the existence of characterization logics and fundamental properties of argumentation semantics