TY - JOUR

T1 - Propositional team logics

AU - Yang, Fan

AU - Väänänen, Jouko

PY - 2016

Y1 - 2016

N2 - We consider team semantics for propositional logic, continuing 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. This offers the possibility to give meaning to concepts such as dependence, independence and inclusion. We associate with every formula ϕ(symbol) based on finitely many propositional variables the set (left open bracket)ϕ(symbol)(right open bracket) of teams that satisfy ϕ(symbol). We define a maximal propositional team logic in which every set of teams is definable as (left open bracket)ϕ(symbol)(right open bracket) for suitable ϕ(symbol). This requires going beyond the logical operations of classical propositional logic. We exhibit a hierarchy of logics between the smallest, viz. classical propositional logic, and the maximal propositional team logic. We characterize these different logics in several ways: first syntactically by their logical operations, and then semantically by the kind of sets of teams they are capable of defining. In several important cases we are able to find complete axiomatizations for these logics.

AB - We consider team semantics for propositional logic, continuing 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. This offers the possibility to give meaning to concepts such as dependence, independence and inclusion. We associate with every formula ϕ(symbol) based on finitely many propositional variables the set (left open bracket)ϕ(symbol)(right open bracket) of teams that satisfy ϕ(symbol). We define a maximal propositional team logic in which every set of teams is definable as (left open bracket)ϕ(symbol)(right open bracket) for suitable ϕ(symbol). This requires going beyond the logical operations of classical propositional logic. We exhibit a hierarchy of logics between the smallest, viz. classical propositional logic, and the maximal propositional team logic. We characterize these different logics in several ways: first syntactically by their logical operations, and then semantically by the kind of sets of teams they are capable of defining. In several important cases we are able to find complete axiomatizations for these logics.

KW - Dependence logic

KW - Non-classical logic

KW - Propositional team logics

KW - Team semantics

UR - http://resolver.tudelft.nl/uuid:f07bb10b-9027-4f99-841e-1a710b9dd799

U2 - 10.1016/j.apal.2017.01.007

DO - 10.1016/j.apal.2017.01.007

M3 - Article

AN - SCOPUS:85011117637

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

SN - 0168-0072

ER -