nLab team logic

Team logic and team semantics

In team semantics the truth of a propositional formula is considered in a set of valuations, called a team, rather than in an individual valuation.

Literature

Some early ideas are from

• W. Hodges, Compositional semantics for a language of imperfect information, Log. J. IGPL 5, 539–563 (1997)

The framework is explicitly developed by J. Väänänen as an extension to dependence logic by classical negation.

• Jouko Väänänen, Interactive logic. Selected papers from the 7th Augustus de Morgan workshop, 281-302, Amsterdam University Press 2007
• Fan Yang, Jouko Väänänen, Propositional team logics, Annals of Pure and Applied Logic 168:7 (2017) 1406-1441 doi
• J. Kontinen, J. Väänänen, On definability in dependence logic, Journal of Logic, Language and Information, 18(3) (2009) 317–332.
• Juha Kontinen, Ville Nurmi, Team logic and second-order logic, Fundamenta Informaticae 106, no. 2-4, 259-272, 2011, doi:10.3233/FI-2011-386