Periodic Reporting for period 2 - TEAMDEP (Team semantics and dependence logic)

The overall goal of this project is to reach a better understanding of higher order concepts in mathematics, with applications to computer science, physics, and philosophy. The main innovation is to use so-called team semantics, developed by the PI in his earlier work. A team...