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.


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

Created on August 15, 2021 at 21:09:03. See the history of this page for a list of all contributions to it.