- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Lück, M.: The power of the filtration technique for modal logics with team semantics. In: Leibniz International Proceedings in Informatics, LIPIcs 82 (2017), 31. DOI: https://doi.org/10.4230/LIPIcs.CSL.2017.31
- Event
-
Veröffentlichung
- (where)
-
Hannover, Hannover
- (who)
-
Gottfried Wilhelm Leibniz Universität Hannover, Technische Informationsbibliothek (TIB)
- (when)
-
2017
- Creator
-
Lück, Martin
- DOI
-
10.15488/2042
- URN
-
urn:nbn:de:101:1-2020080808033642960825
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:47 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
- Lück, Martin
- Gottfried Wilhelm Leibniz Universität Hannover, Technische Informationsbibliothek (TIB)
Time of origin
- 2017
Other Objects (12)
Lattices of modal logics
Logics with Multiteam Semantics
Terminological logics with modal operators
Terminological logics with modal operators
Modal Logics of Topological Relations
Fusions of Modal Logics Revisited
Executable modal and temporal logics : proceedings
A resolution calculus for modal logics
The decision problem for combined modal logics
Labelled propositional modal logics : theory and practice
Decidability of predicate logics with team semantics
Modal Intuitionistic Logics as Dialgebraic Logics: Q/A Session A - Paper A6.A
Lattices of modal logics
Logics with Multiteam Semantics
Terminological logics with modal operators
Terminological logics with modal operators
Modal Logics of Topological Relations
Fusions of Modal Logics Revisited
Executable modal and temporal logics : proceedings
A resolution calculus for modal logics
The decision problem for combined modal logics
Labelled propositional modal logics : theory and practice
Decidability of predicate logics with team semantics
Modal Intuitionistic Logics as Dialgebraic Logics: Q/A Session A - Paper A6.A
Lattices of modal logics
Logics with Multiteam Semantics
Terminological logics with modal operators
Terminological logics with modal operators
Modal Logics of Topological Relations
Fusions of Modal Logics Revisited
Executable modal and temporal logics : proceedings
A resolution calculus for modal logics
The decision problem for combined modal logics
Labelled propositional modal logics : theory and practice
Decidability of predicate logics with team semantics