Theory slides:
Theory LTL exercises (with solutions) from past exams (in Spanish):
A selection of the exercises above translated into English.
Documentation
Talks about Formal Logic (World Logic Day, January 14th 2021)