Loading [MathJax]/jax/input/TeX/config.js

Logics with probabilistic team semantics and the Boolean negation.

Research output: Contribution to journal › Article › 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
Plum Print visual indicator of research metrics
  • Mentions
    • News Mentions: 1
see details
1 - 1 out of 1Page size: 20
Order:

Publications

  1. 2023

  2. Published

    Logics with Probabilistic Team Semantics and the Boolean Negation.

    Hannula, M., Hirvonen, M., Kontinen, J., Mahmood, Y., Meier, A. & Virtema, J., 2023, JELIA 2023: Logics in Artificial Intelligence. Gaggl, S., Martinez, M. V., Ortiz, M. & Ortiz, M. (eds.). Cham, p. 665-680 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14281 LNAI).

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