Loading [MathJax]/extensions/tex2jax.js

Logics with Probabilistic Team Semantics and the Boolean Negation.

Publikation: Beitrag in Buch/Bericht/Sammelwerk/KonferenzbandAufsatz in KonferenzbandForschungPeer-Review

Autorschaft

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

Externe Organisationen

  • Universität Helsinki
  • Universität Paderborn
  • The University of Sheffield

Publikationen

  1. 2025

  2. Veröffentlicht

    Logics with probabilistic team semantics and the Boolean negation.

    Hannula, M., Hirvonen, M., Kontinen, J., Mahmood, Y., Meier, A. & Virtema, J., 30 März 2025, in: Journal of Logic and Computation. 35, 3, 3.

    Publikation: Beitrag in FachzeitschriftArtikelForschungPeer-Review