- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: Kontinen, J.; Kuusisto, A.; Virtema, J.: Decidability of predicate logics with team semantics. In: Leibniz International Proceedings in Informatics, LIPIcs 58 (2016), No. 60. DOI: https://doi.org/10.4230/LIPIcs.MFCS.2016.60
- Ereignis
-
Veröffentlichung
- (wo)
-
Hannover, Hannover
- (wer)
-
Gottfried Wilhelm Leibniz Universität Hannover, Technische Informationsbibliothek (TIB)
- (wann)
-
2016
- Urheber
-
Kontinen, Juha
Kuusisto, Antti
Virtema, Jonni
- DOI
-
10.15488/1949
- URN
-
urn:nbn:de:101:1-2020080807571502665501
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:53 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
- Kontinen, Juha
- Kuusisto, Antti
- Virtema, Jonni
- Gottfried Wilhelm Leibniz Universität Hannover, Technische Informationsbibliothek (TIB)
Entstanden
- 2016
Ähnliche Objekte (12)
Logics with Multiteam Semantics
Fragments of existential second-order logic and logics with team semantics
The power of the filtration technique for modal logics with team semantics
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
Counting in 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
Fibred semantics and the weaving of logics, 1. / Dove M. Gabbay
On the existence of characterization logics and fundamental properties of argumentation semantics
Closed-World Semantics for Query Answering in Temporal Description Logics
Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity
Satisfiability and model checking in team based logics
Logics with Multiteam Semantics
Fragments of existential second-order logic and logics with team semantics
The power of the filtration technique for modal logics with team semantics
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
Counting in Team Semantics
Infinitely Valued Gödel Semantics for Expressive Description Logics
A general algebraic semantics for sentenial [sentential] logics
Fibred semantics and the weaving of logics, 1. / Dove M. Gabbay
On the existence of characterization logics and fundamental properties of argumentation semantics
Closed-World Semantics for Query Answering in Temporal Description Logics
Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity
Satisfiability and model checking in team based logics
Logics with Multiteam Semantics
Fragments of existential second-order logic and logics with team semantics
The power of the filtration technique for modal logics with team semantics
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
Counting in Team Semantics
Infinitely Valued Gödel Semantics for Expressive Description Logics
A general algebraic semantics for sentenial [sentential] logics
Fibred semantics and the weaving of logics, 1. / Dove M. Gabbay
On the existence of characterization logics and fundamental properties of argumentation semantics
Closed-World Semantics for Query Answering in Temporal Description Logics
Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity