- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1661-8300
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Tableaux for Logics of Content Relationship and Set-Assignment Semantics ; day:16 ; month:2 ; year:2022 ; pages:1-25
Logica Universalis ; (16.2.2022), 1-25
- Urheber
-
Jarmużek, Tomasz
Klonowski, Mateusz
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s11787-022-00293-w
- URN
-
urn:nbn:de:101:1-2022052107494188155570
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.06.2030, 07:38 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
- Jarmużek, Tomasz
- Klonowski, Mateusz
- SpringerLink (Online service)
Ä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
Closed-World Semantics for Query Answering in Temporal Description Logics
Fibred semantics and the weaving of logics, 1. / Dove M. Gabbay
Fragments of existential second-order logic and logics with team semantics
Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics
A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics
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
Closed-World Semantics for Query Answering in Temporal Description Logics
Fibred semantics and the weaving of logics, 1. / Dove M. Gabbay
Fragments of existential second-order logic and logics with team semantics
Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics
A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics
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
Closed-World Semantics for Query Answering in Temporal Description Logics
Fibred semantics and the weaving of logics, 1. / Dove M. Gabbay
Fragments of existential second-order logic and logics with team semantics
Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics
A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics