Juan P. Aguilera

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 22

Top Topics

Cut Elimination

Making Inferences

Classical Logic

Top Venues

Ann. Pure Appl. Log.

J. Log. Comput.

Publications

Juan P. Aguilera, Robert S. Lubarsky, Leonardo Pacheco
Higher-Order Feedback Computation. CiE (2024)
Juan P. Aguilera
The Löwenheim-Skolem theorem for Gödel logic. Ann. Pure Appl. Log. 174 (4) (2023)
Juan P. Aguilera
A topological completeness theorem for transfinite provability logic. Arch. Math. Log. 62 (5-6) (2023)
Juan P. Aguilera, Martín Diéguez, David Fernández-Duque, Brett McLean
Time and Gödel: Fuzzy Temporal Reasoning in PSPACE. WoLLIC (2022)
Juan P. Aguilera, Jan Bydzovsky, David Fernández-Duque
Noetherian Gödel logics. J. Log. Comput. 32 (8) (2022)
Juan P. Aguilera, Jan Bydzovsky, David Fernández-Duque
A Non-hyperarithmetical Gödel Logic. LFCS (2022)
Juan P. Aguilera, Martín Diéguez, David Fernández-Duque, Brett McLean
A Gödel Calculus for Linear Temporal Logic. KR (2022)
Juan P. Aguilera, Matthias Baaz, Jan Bydzovsky
The number of axioms. Ann. Pure Appl. Log. 173 (5) (2022)
Juan P. Aguilera, Robert S. Lubarsky
Feedback hyperjump. J. Log. Comput. 31 (1) (2021)
Juan P. Aguilera
Shortening Clopen Games. J. Symb. Log. 86 (4) (2021)
Juan P. Aguilera
The order of Reflection. J. Symb. Log. 86 (4) (2021)
Juan P. Aguilera, Sandra Müller, Philipp Schlicht
-projective sets. Ann. Pure Appl. Log. 172 (4) (2021)
Juan P. Aguilera, Sandra Müller
The Consistency strength of Long Projective Determinacy. J. Symb. Log. 85 (1) (2020)
Juan P. Aguilera
Determinate logic and the Axiom of Choice. Ann. Pure Appl. Log. 171 (2) (2020)
Juan P. Aguilera, Matthias Baaz
Unsound Inferences Make Proofs Shorter. J. Symb. Log. 84 (1) (2019)
Juan P. Aguilera, Matthias Baaz
Ten problems in Gödel logic. Soft Comput. 21 (1) (2017)
Juan P. Aguilera, Levent Ülkü
On the maximization of menu-dependent interval orders. Soc. Choice Welf. 48 (2) (2017)
Juan P. Aguilera, David Fernández-Duque
Strong Completeness of Provability Logic for Ordinal Spaces. J. Symb. Log. 82 (2) (2017)
Juan P. Aguilera, Matthias Baaz
Cut Elimination for Gödel Logic with an Operator Adding a Constant. WoLLIC (2016)
Juan P. Aguilera, David Fernández-Duque
Verification logic: An arithmetical interpretation for negative introspection. Advances in Modal Logic (2016)
Juan P. Aguilera
Compactness in Infinitary Gödel Logics. WoLLIC (2016)
Juan P. Aguilera, Matthias Baaz
Unsound Inferences Make Proofs Shorter. CoRR (2016)