Loading [MathJax]/extensions/tex2jax.js

Logics with Probabilistic Team Semantics and the Boolean Negation.

Research output: Chapter in book/report/conference proceedingConference contributionResearchpeer review

Authors

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

External Research Organisations

  • University of Helsinki
  • Paderborn University
  • The University of Sheffield
1 - 1 out of 1Page size: 20

Publications

  1. 2025

  2. Published

    Logics with probabilistic team semantics and the Boolean negation.

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

    Research output: Contribution to journalArticleResearchpeer review