1. Introduction: Quantifier Dependence| plato.stanford.edu
The principal semantics of dependence logic, called team| plato.stanford.edu
The developments of set theory in 1960's led to an era of independence| plato.stanford.edu
1. A Brief Overview of Dialogical Logic| plato.stanford.edu
1. Basic notions of model theory| plato.stanford.edu