Logic

Research Frontiers in Dependence Logic and Team Semantics

Analysis of logical systems extending first-order logic with dependence atoms evaluated over sets of assignments.

All Logic PhD categories