ERC Advanced Grant · 2020
Team semantics and dependence logic
In the traditional so-called Tarski’s Truth 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 (a "team") of such assignments. This is what is called team semantics, a term coined by the PI in his 2007 monograph, and used ever since to describe this highly non-trivial modification of Tarskian semantics. Team semantics was introduced around the same time in inquisitive logic under the name state semantics. Examples of semantic concepts available in team semantics but not in traditional Tarski semantics are the concepts of…
From the public funding record at EU CORDIS. Describes the funded project, not the reviews below.