Juan P. Aguilera

Identifiers

No identifiers captured yet.

Papers (4)

1. Polytopological Semantics for Intuitionistic Modal Logics math.LO · 2026 · author #1
2. A Topological Completeness Theorem for Transfinite Provability Logic math.LO · 2016 · author #1
3. Unsound Inferences Make Proofs Shorter math.LO · 2016 · author #1
4. Strong Completeness of Provability Logic for Ordinal Spaces math.LO · 2015 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• David Fern\'andez-Duque 2 shared papers
• Leonardo Pacheco 1 shared papers
• Matthias Baaz 1 shared papers