Borja Sierra-Miranda

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

Collaborative distances:

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

2025

Knowledge and Common Knowledge of Strategies.

Borja Sierra-Miranda, Thomas Studer

CoRR, October, 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

Cyclic Proofs for iGL via Corecursion.

Borja Sierra-Miranda

Proceedings of the Proceedings Twelfth Workshop on Fixed Points in Computer Science, 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