User:Pietro Galliani

I am a mathematical logic PhD student at the Universiteit van Amsterdam.

Done

 * Dependence Logic

To Help With

 * Game Semantics
 * Branching Quantifiers
 * Independence Friendly Logic

To Do

 * Levy Hierarchy
 * Game Theoretic Semantics (not sure if to split from Game Semantics or not - the concepts are rather different...)