Text

Fibred semantics and the weaving of logics, 1. / Dove M. Gabbay

zu Verbundenen Objekten

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
Reihe
Arbeitspapiere des Sonderforschungsbereichs 340 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
17.02.2026, 13:08 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Text

Beteiligte

Entstanden

  • 1993

Ähnliche Objekte (12)

Logics with Multiteam Semantics

Logics with Multiteam Semantics

Exact Truthmaker Semantics for Modal Logics

Exact Truthmaker Semantics for Modal Logics

Decidability of predicate logics with team semantics

Decidability of predicate logics with team semantics

A general algebraic semantics for sentenial [sentential] logics

A general algebraic semantics for sentenial [sentential] logics

Infinitely Valued Gödel Semantics for Expressive Description Logics

Infinitely Valued Gödel Semantics for Expressive Description Logics

Simplified Kripke-Style Semantics for Some Normal Modal Logics

Simplified Kripke-Style Semantics for Some Normal Modal Logics

The power of the filtration technique for modal logics with team semantics

The power of the filtration technique for modal logics with team semantics

Weaving

Noten (Musik)

Weaving

Closed-World Semantics for Query Answering in Temporal Description Logics

Closed-World Semantics for Query Answering in Temporal Description Logics

Tableaux for Logics of Content Relationship and Set-Assignment Semantics

Tableaux for Logics of Content Relationship and Set-Assignment Semantics

On the existence of characterization logics and fundamental properties of argumentation semantics

Hochschulschrift

On the existence of characterization logics and fundamental properties of argumentation semantics

On the Existence of Characterization Logics and Fundamental Properties of Argumentation Semantics

Hochschulschrift

On the Existence of Characterization Logics and Fundamental Properties of Argumentation Semantics

Verbundene Objekte