Hello everyone, I am soon going to look into graduate schools in mathematics. One area I would really like to study is Mathematical Logic and/or Algebraic Logic, but mostly their part in the application to artificial intelligence (mostly like strong ai/consciousness). And I mean this from the theoretical and mathematical perspective, though I hope to some time take up learning at least some basic computer science on my own (though I would like to stay within mathematics). Part of the reason I am asking for such a program is that I generally enjoy all most all math subjects equally, so I am just narrowing it down into fields with what I think have the most interesting applications, on top of logic/set theory/algebraic logic just being really cool. Can anyone help me find such a grad school and program? Thanks in advance for any response.