Auflistung nach Schlagwort "Linearization"

Sortiert nach: Sortierung: Ergebnisse:

  • Kontinen, Juha; Müller, Julian-Steffen; Schnoor, Henning; Vollmer, Heribert (Wadern : Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, 2015)
    The famous van Benthem theorem states that modal logic corresponds exactly to the fragment of first-order logic that is invariant under bisimulation. In this article we prove an exact analogue of this theorem in the framework ...
  • Weber, Harry; Mathis, Wolfgang (Göttingen : Copernicus GmbH, 2016)
    In this contribution, the limitations of the Carleman linearization approach are presented and discussed. The Carleman linearization transforms an ordinary nonlinear differential equation into an infinite system of linear ...
  • 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 ...