Logics in team semantics

Juha Kontinen

University of Helsinki



Abstract: I will give a concise introduction to the area of team-based logics. I will also discuss recently defined probabilistic team-based logics that act on finite probability distributions with connections to metafinite structures, BSS-computations, and ETR.