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