31 citations · 111 across the 33 of their papers we have counts for
3 papers · 1 filter
Facets of Distribution Identities in Probabilistic Team Semantics
Miika Hannula, Åsa Hirvonen, Juha Kontinen +2
We study probabilistic team semantics which is a semantical framework allowing the study of logical and probabilistic dependencies simultaneously. We examine and classify the expre…
Expressivity within second-order transitive-closure logic
Flavio Ferrarotti, Jan Van den Bussche, Jonni Virtema
Second-order transitive-closure logic, SO(TC), is an expressive declarative language that captures the complexity class PSPACE. Already its monadic fragment, MSO(TC), allows the ex…
Probabilistic team semantics
Arnaud Durand, Miika Hannula, Juha Kontinen +2
Team semantics is a semantical framework for the study of dependence and independence concepts ubiquitous in many areas such as databases and statistics. In recent works team seman…