Ana de Almeida Borges

According to our database, Ana de Almeida Borges authored at least 12 papers between 2018 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Strictly Positive Fragments of the Provability Logic of Heyting Arithmetic.

Ana de Almeida Borges, Joost J. Joosten

Stud Logica, April, 2026

2024

Suitable logics: provability, temporal laws, and formalization.

Ana de Almeida Borges

PhD thesis, 2024

UTC Time, Formally Verified.

Ana de Almeida Borges, Mireia González Bedmar, Juan José Conejero Rodríguez, Eduardo Hermo Reyes, Joaquim Casals Buñuel, Joost J. Joosten

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2023

An Escape from Vardanyan's Theorem.

Ana de Almeida Borges, Joost J. Joosten

J. Symb. Log., 2023

Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users.

Ana de Almeida Borges, Annalí Casanueva Artís, Jean-Rémy Falleri, Emilio Jesús Gallego Arias, Érik Martin-Dorel, Karl Palmskog, Alexander Serebrenik, Théo Zimmermann

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2022

FV Time: a formally verified Coq library.

Ana de Almeida Borges, Mireia González Bedmar, Juan José Conejero Rodríguez, Eduardo Hermo Reyes, Joaquim Casals Buñuel, Joost J. Joosten

CoRR, 2022

Towards a Coq Formalization of a Quantified Modal Logic.

Ana de Almeida Borges

Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022) affiliated with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022), 2022

2021

To drive or not to drive: A logical and computational analysis of European transport regulations.

Ana de Almeida Borges, Juan José Conejero Rodríguez, David Fernández-Duque, Mireia González Bedmar, Joost J. Joosten

Inf. Comput., 2021

2020

Quantified Reflection Calculus with One Modality.

Ana de Almeida Borges, Joost J. Joosten

Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2019

The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations.

Ana de Almeida Borges, Juan José Conejero Rodríguez, David Fernández-Duque, Mireia González Bedmar, Joost J. Joosten

Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019

2018

When logic lays down the law.

Bjørn Jespersen, Ana de Almeida Borges, Jorge del Castillo Tierz, Juan José Conejero Rodríguez, Eric Sancho Adamson, Aleix Solé Sánchez, Nika Pona, Joost J. Joosten

CoRR, 2018

The Worm Calculus.

Ana de Almeida Borges, Joost J. Joosten

Proceedings of the Advances in Modal Logic 12, 2018