Auflistung nach Schlagwort "team logic"

Sortiert nach: Sortierung: Ergebnisse:

  • Counting and enumerating in first-order team logics 
    Müller, Fabian (Hannover : Institutionelles Repositorium der Leibniz Universität Hannover, 2024)
    Descriptive complexity theory is the study of the expressibility of computational problems in certain logics. Most of the results in this field use (fragments or extensions of) first-order logic or second-order logic to ...
  • The power of the filtration technique for modal logics with team semantics 
    Lück, Martin (Wadern : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2017)
    Modal Team Logic (MTL) extends Väänänen's Modal Dependence Logic (MDL) by Boolean negation. Its satisfiability problem is decidable, but the exact complexity is not yet understood very well. We investigate a model-theoretical ...