Zum Inhalt springen

  2. Lück, Martin [VerfasserIn]; Goranko, Valentin [VerfasserIn]; Dam, Mads [VerfasserIn]

    The power of the filtration technique for modal logics with team semantics - [published Version]

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Wadern : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2017

    Erschienen in: 26th EACSL Annual Conference on Computer Science Logic (CSL 2017) ; Leibniz international proceedings in informatics : LIPIcs ; 82

  5. Kontinen, Juha [VerfasserIn]; Müller, Julian-Steffen [VerfasserIn]; Schnoor, Henning [VerfasserIn]; Vollmer, Heribert [VerfasserIn] ; Juha Kontinen and Julian-Steffen Müller and Henning Schnoor and Heribert Vollmer [MitwirkendeR]

    A Van Benthem Theorem for Modal Team Semantics

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015

  7. Kontinen, Juha [VerfasserIn]; Müller, Julian-Steffen [VerfasserIn]; Schnoor, Henning [VerfasserIn]; Vollmer, Heribert [VerfasserIn]

    A van Benthem theorem for modal team semantics - [published Version]

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Wadern : Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, 2015

    Erschienen in: Leibniz International Proceedings in Informatics, LIPIcs 41 (2015)

  16. Ebbing, Johannes; Hella, Lauri; Meier, Arne; Müller, Julian-Steffen; Virtema, Jonni; Vollmer, Heribert

    Logic, Language, Information, and Computation: Extended Modal Dependence Logic $\mathcal{EMDL}$

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2013

    Erschienen in: Logic, Language, Information, and Computation

  17. Ebbing, Johannes; Lohmann, Peter

    SOFSEM 2012: Theory and Practice of Computer Science: Complexity of Model Checking for Modal Dependence Logic

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2012

    Erschienen in: SOFSEM 2012: Theory and Practice of Computer Science

  18. Müller, Julian-Steffen; Vollmer, Heribert

    Logic, Language, Information, and Computation: Model Checking for Modal Dependence Logic: An Approach through Post’s Lattice

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2013

    Erschienen in: Logic, Language, Information, and Computation