2 citations · 4 across the 4 of their papers we have counts for
4 papers
A New Ehrenfeucht-Fraïssé Game for Dependence Logic
Joni Puljujärvi, Jouko Väänänen
We define a new Ehrenfeucht-Fraïssé game for dependence logic. The previously known rendition of such a game was based on moves that are teams. Since teams can be massive, making t…
Compactness in Team Semantics
Joni Puljujärvi, Davide Emilio Quadrellaro
We provide two proofs of the compactness theorem for extensions of first-order logic based on team semantics. First, we build upon Lück's ultraproduct construction for team semanti…
Team Semantics and Independence Notions in Quantum Physics
Samson Abramsky, Joni Puljujärvi, Jouko Väänänen
We study dependence and independence concepts found in quantum physics, especially those related to hidden variables and non-locality, through the lens of team semantics and probab…
Games and Scott sentences for positive distances between metric structures
Åsa Hirvonen, Joni Puljujärvi
We develop various Ehrenfeucht-Fra\"ıssé games for distances between metric structures. We study two forms of distances: pseudometrics stemming from mapping spaces onto each other…