- 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
- (wer)
-
Gottfried Wilhelm Leibniz Universität Hannover
- (wann)
-
2017
- Ereignis
-
Veröffentlichung
- (wo)
-
Hannover
- (wer)
-
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
-
14.08.2025, 11:04 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
- Lück, Martin
- Gottfried Wilhelm Leibniz Universität Hannover
- Technische Informationsbibliothek (TIB)
Entstanden
- 2017
Ähnliche Objekte (12)
Exact Truthmaker Semantics for Modal Logics
Decidability of predicate logics with team semantics
Simplified Kripke-Style Semantics for Some Normal Modal Logics
A van Benthem theorem for modal team semantics
Logics with Multiteam Semantics
Lattices of modal logics
Simplified Kripke Semantics for K45-Like Gödel Modal Logics and Its Axiomatic Extensions
Fragments of existential second-order logic and logics with team semantics
Terminological logics with modal operators
Fusions of Modal Logics Revisited
Terminological logics with modal operators
Modal Logics of Topological Relations
Exact Truthmaker Semantics for Modal Logics
Decidability of predicate logics with team semantics
Simplified Kripke-Style Semantics for Some Normal Modal Logics
A van Benthem theorem for modal team semantics
Logics with Multiteam Semantics
Lattices of modal logics
Simplified Kripke Semantics for K45-Like Gödel Modal Logics and Its Axiomatic Extensions
Fragments of existential second-order logic and logics with team semantics
Terminological logics with modal operators
Fusions of Modal Logics Revisited
Terminological logics with modal operators
Modal Logics of Topological Relations
Exact Truthmaker Semantics for Modal Logics
Decidability of predicate logics with team semantics
Simplified Kripke-Style Semantics for Some Normal Modal Logics
A van Benthem theorem for modal team semantics
Logics with Multiteam Semantics
Lattices of modal logics
Simplified Kripke Semantics for K45-Like Gödel Modal Logics and Its Axiomatic Extensions
Fragments of existential second-order logic and logics with team semantics
Terminological logics with modal operators
Fusions of Modal Logics Revisited
Terminological logics with modal operators