| Unsound inferences make proofs shorter JP Aguilera, M Baaz The Journal of Symbolic Logic 84 (1), 102-122, 2019 | 26 | 2019 |
| Strong completeness of provability logic for ordinal spaces JP Aguilera, D Fernández-Duque The Journal of Symbolic Logic 82 (2), 608-628, 2017 | 15 | 2017 |
| Time and Gödel: fuzzy temporal reasoning in PSPACE JP Aguilera, M Diéguez, D Fernández-Duque, B McLean International Workshop on Logic, Language, Information, and Computation, 18-35, 2022 | 13 | 2022 |
| Long games and σ-projective sets JP Aguilera, S Müller, P Schlicht Annals of Pure and Applied Logic 172 (4), 102939, 2021 | 11 | 2021 |
| The consistency strength of long projective determinacy JP Aguilera, S Müller The Journal of Symbolic Logic 85 (1), 338-366, 2020 | 7 | 2020 |
| Ten problems in Gödel logic JP Aguilera, M Baaz Soft Computing 21, 149-152, 2017 | 7 | 2017 |
| AG\" odel Calculus for Linear Temporal Logic JP Aguilera, M Diéguez, D Fernández-Duque, B McLean arXiv preprint arXiv:2205.05182, 2022 | 5 | 2022 |
| The Π 2 1 Π^1_2 consequences of a theory JP Aguilera, F Pakhomov Journal of the London Mathematical Society 107 (3), 1045-1073, 2023 | 4 | 2023 |
| Games and reflection in JP Aguilera The Journal of Symbolic Logic 85 (3), 1102-1123, 2020 | 4 | 2020 |
| Determined admissible sets J Aguilera Proceedings of the American Mathematical Society 148 (5), 2217-2231, 2020 | 4 | 2020 |
| Ackermann and Goodstein go functorial JP Aguilera, A Freund, M Rathjen, A Weiermann Pacific Journal of Mathematics 313 (2), 251-291, 2021 | 3 | 2021 |
| Long Borel games JP Aguilera Israel Journal of Mathematics 243 (1), 273-314, 2021 | 3 | 2021 |
| Feedback hyperjump JP Aguilera, RS Lubarsky Journal of Logic and Computation 31 (1), 20-39, 2021 | 3 | 2021 |
| Projective games on the reals JP Aguilera, S Müller | 3 | 2020 |
| Functorial fast-growing hierarchies JP Aguilera, F Pakhomov, A Weiermann Forum of Mathematics, Sigma 12, e15, 2024 | 2 | 2024 |
| A topological completeness theorem for transfinite provability logic JP Aguilera Archive for Mathematical Logic 62 (5), 751-788, 2023 | 2* | 2023 |
| The spectrum of -soundness JP Aguilera, F Pakhomov Philosophical Transactions of the Royal Society A 381 (2248), 20220013, 2023 | 2 | 2023 |
| Countable ordinals in indiscernibility spectra JP Aguilera Fundamenta Mathematicae 260, 99-109, 2023 | 2 | 2023 |
| Shortening clopen games JP Aguilera The Journal of Symbolic Logic 86 (4), 1541-1554, 2021 | 2 | 2021 |
| Verification logic: An arithmetical interpretation for negative introspection. JP Aguilera, D Fernández-Duque Advances in Modal Logic 11, 1-20, 2016 | 2 | 2016 |
