Lück, Martin
(Hannover : Institutionelles Repositorium der Leibniz Universität Hannover, 2020)
Team semantics is an extension of classical logic where statements do not refer to single states of a system, but instead to sets of such states, called teams. This kind of semantics has applications for example in ...