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

Timeline

leonardopacheco has no activity yet