avatar

Leonardo Pacheco

@leonardopacheco@mathstodon.xyz

Joined: 04/26/2022



About Leonardo Pacheco

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.

Lists

leonardopacheco has no public lists

Timeline

leonardopacheco has no activity yet