A. A. Borges, J. J. C. Rodríguez, D. Fernández-Duque, M. G. Bedmar, and J. J. Joosten
To drive or not to drive: A logical and computational analysis of European transport regulations
Information and Computation
2020

A. A. Borges, and J. J. Joosten
Quantified Reflection Calculus with one modality
arXiv:2003.13651 [math.LO]
Advances in Modal Logic 13: 13-32
2020

A. A. Borges, J. J. C. Rodríguez, D. Fernández-Duque, M. G. Bedmar, and J. J. Joosten
The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations
26th International Symposium on Temporal Representation and Reasoning (TIME 2019): 6:1-6:16
2019

A. A. Borges, and J. J. Joosten
The Worm Calculus
Advances in Modal Logic 12: 13-27
2018
This paper was partly formalized in Coq.

A. A. Borges
On the herbrandised interpretation for nonstandard arithmetic
Master’s Thesis, Universidade de Lisboa
2016