TARK: Theoretical Aspects Of Rationality And Knowledge