Definition the semantics of first order logic is defined with respect to an assignment of values to the free variables. A richer family of semantic concepts can be modelled if semantics is defined with respect to a set of such assignments. This is what is called team semantics. Examples of semantic concepts available in team semantics are the concepts of dependence and independence. This has given rise to the emergence of the so-called dependence logic, as well as independence logic, and other similar variants. It appears that teams appear naturally in several areas of sciences and humanities, e.g. database theory, computational complexity, natural language semantics, and quantum information, which has made it possible to use dependence logic and its variants to analyze phenomena in these areas. The workshop focuses on current developments in team semantics and its applications.
The language of the workshop is English.
This website is being updated and more information will follow soon!