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...)

This user is a participant in the
Logic task force.