Borja Sierra-Miranda

According to our database, Borja Sierra-Miranda authored at least 4 papers between 2023 and 2025.

Collaborative distances:

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

2025

Algebraic Proof Theory for Infinitary Action Logic.

Wesley Fussner, Simon Santschi, Borja Sierra-Miranda

CoRR, January, 2025

Non-wellfounded Proof Theory for Interpretability Logic.

Sebastijan Horvat, Borja Sierra-Miranda, Thomas Studer

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2025

2024

Coalgebraic Proof Translations for Non-Wellfounded Proofs.

Borja Sierra-Miranda, Thomas Studer, Lukas Zenger

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

2023

Cyclic Proofs for iGL via Corecursion.

Borja Sierra-Miranda

CoRR, 2023