@leonardopacheco@mathstodon.xyz
Joined: 04/26/2022
Logic at Institute of Science Tokyo.
Mainly interested in games, modal logic and non-classical logic.
Currently thinking about diamonds in non-classical settings, but I also did some work in reverse math before.
By games I mean both mathematical ones and computer ones.
leonardopacheco has no public lists
leonardopacheco has no activity yet