Jouko Väänánen

Tractability Frontier of Data Complexity in Team Semantics

2015 · arXiv (Cornell University)

We study the data complexity of model-checking for logics with team semantics. We focus on dependence, inclusion, and independence logic formulas under both strict and lax team semantics. Our results delineate a clear tractability/intractability frontiers …

TEAM SEMANTICS AND INDEPENDENCE NOTIONS IN QUANTUM PHYSICS

2025 · Bulletin of Symbolic Logic

Abstract 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 probabilistic team semantics, adapting a relational framework introduced in …