Loading [MathJax]/extensions/tex2jax.js

Logics with Probabilistic Team Semantics and the Boolean Negation.

Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

Authors

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

Research Organisations

External Research Organisations

  • University of Helsinki
  • Paderborn University
  • The University of Sheffield