Juan P. Aguilera
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2016–2024
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | AiML | Strong Completeness of the Closed Fragment of GLP. | Juan P. Aguilera, Grigorii Stepanov |
| 2024 | CiE | Higher-Order Feedback Computation. | Juan P. Aguilera, Robert S. Lubarsky, Leonardo Pacheco |
| 2022 | KR | A Gdel Calculus for Linear Temporal Logic. | Juan P. Aguilera, Martn Diguez, David Fernndez-Duque, Brett McLean |
| 2022 | LFCS | A Non-hyperarithmetical Gdel Logic. | Juan P. Aguilera, Jan Bydzovsky, David Fernndez-Duque |
| 2022 | WoLLIC | Time and Gdel: Fuzzy Temporal Reasoning in PSPACE. | Juan P. Aguilera, Martn Diguez, David Fernndez-Duque, Brett McLean |
| 2016 | AiML | Verification logic: An arithmetical interpretation for negative introspection. | Juan P. Aguilera, David Fernndez-Duque |
| 2016 | WoLLIC | Compactness in Infinitary Gdel Logics. | Juan P. Aguilera |
| 2016 | WoLLIC | Cut Elimination for Gdel Logic with an Operator Adding a Constant. | Juan P. Aguilera, Matthias Baaz |