# Aguilera – Logic

> Aguilera – Logic

## Pages

- [Home](https://juan.ag/home)
- [Research](https://juan.ag/research)
- [People](https://juan.ag/people)
- [Short CV](https://juan.ag/short-cv)
- [Grants](https://juan.ag/grants)
- [Teaching](https://juan.ag/teaching)
- [Talks](https://juan.ag/talks)