Loading [MathJax]/extensions/tex2jax.js

Logics with probabilistic team semantics and the Boolean negation.

Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

Autorschaft

  • Miika Hannula
  • Minna Hirvonen
  • Juha Kontinen
  • Yasir Mahmood
  • Arne Meier
  • Jonni Virtema

Organisationseinheiten

Externe Organisationen

  • Universität Helsinki
  • Universität Paderborn
  • The University of Sheffield
1 - 2 von 2Seitengröße: 20
sortieren: Beginn
Reihenfolge:

Projekte

  1. Anwendungen und Komplexität von Logiken in der Semiring-Team-Semantik

    Meier, A. (Projektleiter*in (Principal Investigator)), Vollmer, H. (Projektmitarbeiter*in), Barlag, T. (Projektmitarbeiter*in), Fröhlich, N. F. H. (Projektmitarbeiter*in), Holzapfel, V. (Projektmitarbeiter*in) & Strieker, L. (Projektmitarbeiter*in)

    1 Jan. 2024 → 31 Dez. 2025

    Projekt: Forschung

  2. Teamlogiken: Neue Brücken zu Datenbank-Reparaturen

    Meier, A. (Projektleiter*in (Principal Investigator)) & Fröhlich, N. F. H. (Projektmitarbeiter*in)

    1 Mai 2023 → 30 Juni 2026

    Projekt: Forschung