- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
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
- Ereignis
-
Veröffentlichung
- (wo)
-
Hannover, Hannover
- (wer)
-
Gottfried Wilhelm Leibniz Universität Hannover, Technische Informationsbibliothek (TIB)
- (wann)
-
2017
- Urheber
-
Lück, Martin
- DOI
-
10.15488/2042
- URN
-
urn:nbn:de:101:1-2020080808033642960825
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:47 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
- Lück, Martin
- Gottfried Wilhelm Leibniz Universität Hannover, Technische Informationsbibliothek (TIB)
Entstanden
- 2017
Ähnliche Objekte (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