Borja Sierra-Miranda

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Algebraic Proof Theory for Infinitary Action Logic.

[BibT_eX]

[DOI]

CoRR, January, 2025

2024

Coalgebraic Proof Translations for Non-Wellfounded Proofs.

[BibT_eX]

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

2023

Cyclic Proofs for iGL via Corecursion.

[BibT_eX]

[DOI]

CoRR, 2023