Loading [MathJax]/extensions/tex2jax.js

Logics with probabilistic team semantics and the Boolean negation.

Research output: Contribution to journalArticleResearchpeer 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 - 2 out of 2Page size: 20

Projects

  1. Applications and complexity of logics in semiring team semantics

    Meier, A. (Principal Investigator), Vollmer, H. (Project staff), Barlag, T. (Project staff), Fröhlich, N. F. H. (Project staff), Holzapfel, V. (Project staff) & Strieker, L. (Project staff)

    1 Jan 202431 Dec 2025

    Project: Research

  2. Team Logics: New Bridges to Database Repairs

    Meier, A. (Principal Investigator) & Fröhlich, N. F. H. (Project staff)

    1 May 202330 Jun 2026

    Project: Research