Juan P. Aguilera

33 papers A* 1B 2C 4Misc 1Journal 25

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Induction on dilators and Bachmann-Howard fixed points. Ann. Pure Appl. Log. Juan P. Aguilera, Anton Freund, Andreas Weiermann
2025	J	`jnl`	Constructive Quantum Logics. CoRR Juan P. Aguilera, Guillaume Massas
2025	J	`jnl`	Gödel-Dummett linear temporal logic. Artif. Intell. Juan P. Aguilera, Martín Diéguez, David Fernández-Duque, Brett McLean
2025	J	`jnl`	Intuitionistic Gödel-Löb without Sharps. ACM Trans. Comput. Log. Juan P. Aguilera, Leonardo Pacheco
2024	J	`jnl`	A One-Page Proof of a Theorem of Beleznay. Bull. Symb. Log. Juan P. Aguilera, Martina Iannella
2024	J	`jnl`	Fundamental Logic Is Decidable. ACM Trans. Comput. Log. Juan P. Aguilera, Jan Bydzovsky
2024	C	`conf`	Higher-Order Feedback Computation. CiE Juan P. Aguilera, Robert S. Lubarsky, Leonardo Pacheco
2024	B	`conf`	Strong Completeness of the Closed Fragment of GLP. AiML Juan P. Aguilera, Grigorii Stepanov
2023	J	`jnl`	A topological completeness theorem for transfinite provability logic. Arch. Math. Log. Juan P. Aguilera
2023	J	`jnl`	The Löwenheim-Skolem theorem for Gödel logic. Ann. Pure Appl. Log. Juan P. Aguilera
2022	A*	`conf`	A Gödel Calculus for Linear Temporal Logic. KR Juan P. Aguilera, Martín Diéguez, David Fernández-Duque, Brett McLean
2022	Misc	`conf`	A Non-hyperarithmetical Gödel Logic. LFCS Juan P. Aguilera, Jan Bydzovsky, David Fernández-Duque
2022	J	`jnl`	Noetherian Gödel logics. J. Log. Comput. Juan P. Aguilera, Jan Bydzovsky, David Fernández-Duque
2022	J	`jnl`	The number of axioms. Ann. Pure Appl. Log. Juan P. Aguilera, Matthias Baaz, Jan Bydzovsky
2022	C	`conf`	Time and Gödel: Fuzzy Temporal Reasoning in PSPACE. WoLLIC Juan P. Aguilera, Martín Diéguez, David Fernández-Duque, Brett McLean
2021	J	`jnl`	A characterization of Σ11-reflecting ordinals. Ann. Pure Appl. Log. Juan P. Aguilera
2021	J	`jnl`	Feedback hyperjump. J. Log. Comput. Juan P. Aguilera, Robert S. Lubarsky
2021	J	`jnl`	G J. Symb. Log. Juan P. Aguilera, Philip D. Welch
2021	J	`jnl`	Long games and Ann. Pure Appl. Log. Juan P. Aguilera, Sandra Müller, Philipp Schlicht
2021	J	`jnl`	Shortening Clopen Games. J. Symb. Log. Juan P. Aguilera
2021	J	`jnl`	The order of Reflection. J. Symb. Log. Juan P. Aguilera
2020	J	`jnl`	$F_\sigma $ GAMES AND REFLECTION IN $L(\mathbb {R})$. J. Symb. Log. Juan P. Aguilera
2020	J	`jnl`	Determinate logic and the Axiom of Choice. Ann. Pure Appl. Log. Juan P. Aguilera
2020	J	`jnl`	PROVABLY $\Delta_1$ GAMES. J. Symb. Log. Juan P. Aguilera, D. W. Blue
2020	J	`jnl`	The Consistency strength of Long Projective Determinacy. J. Symb. Log. Juan P. Aguilera, Sandra Müller
2019	J	`jnl`	Unsound Inferences Make Proofs Shorter. J. Symb. Log. Juan P. Aguilera, Matthias Baaz
2017	J	`jnl`	On the maximization of menu-dependent interval orders. Soc. Choice Welf. Juan P. Aguilera, Levent Ülkü
2017	J	`jnl`	Strong Completeness of Provability Logic for Ordinal Spaces. J. Symb. Log. Juan P. Aguilera, David Fernández-Duque
2017	J	`jnl`	Ten problems in Gödel logic. Soft Comput. Juan P. Aguilera, Matthias Baaz
2016	C	`conf`	Compactness in Infinitary Gödel Logics. WoLLIC Juan P. Aguilera
2016	C	`conf`	Cut Elimination for Gödel Logic with an Operator Adding a Constant. WoLLIC Juan P. Aguilera, Matthias Baaz
2016	J	`jnl`	Unsound Inferences Make Proofs Shorter. CoRR Juan P. Aguilera, Matthias Baaz
2016	B	`conf`	Verification logic: An arithmetical interpretation for negative introspection. Advances in Modal Logic Juan P. Aguilera, David Fernández-Duque