Juan P. Aguilera

Orcid: 0000-0002-2768-6714

Affiliations:
  • TU Wien, Institute of Discrete Mathematics and Geometry, Vienna, Austria


According to our database1, Juan P. Aguilera authored at least 28 papers between 2016 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Higher-Order Feedback Computation.
Proceedings of the Twenty Years of Theoretical and Practical Synergies, 2024

Strong Completeness of the Closed Fragment of GLP.
Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

2023
A topological completeness theorem for transfinite provability logic.
Arch. Math. Log., July, 2023

The Löwenheim-Skolem theorem for Gödel logic.
Ann. Pure Appl. Log., April, 2023

Gödel-Dummett linear temporal logic.
CoRR, 2023

2022
Noetherian Gödel logics.
J. Log. Comput., 2022

The number of axioms.
Ann. Pure Appl. Log., 2022

Time and Gödel: Fuzzy Temporal Reasoning in PSPACE.
Proceedings of the Logic, Language, Information, and Computation, 2022

A Non-hyperarithmetical Gödel Logic.
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022

A Gödel Calculus for Linear Temporal Logic.
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

2021
Feedback hyperjump.
J. Log. Comput., 2021

G<sub>δσ</sub> GAMES AND INDUCTION ON REALS.
J. Symb. Log., 2021

The order of Reflection.
J. Symb. Log., 2021

Shortening Clopen Games.
J. Symb. Log., 2021

Long games and <i>σ</i>-projective sets.
Ann. Pure Appl. Log., 2021

A characterization of Σ11-reflecting ordinals.
Ann. Pure Appl. Log., 2021

2020
The Consistency strength of Long Projective Determinacy.
J. Symb. Log., 2020

PROVABLY $\Delta_1$ GAMES.
J. Symb. Log., 2020

$F_\sigma $ GAMES AND REFLECTION IN $L(\mathbb {R})$.
J. Symb. Log., 2020

Determinate logic and the Axiom of Choice.
Ann. Pure Appl. Log., 2020

2019
Unsound Inferences Make Proofs Shorter.
J. Symb. Log., 2019

2017
Ten problems in Gödel logic.
Soft Comput., 2017

On the maximization of menu-dependent interval orders.
Soc. Choice Welf., 2017

Verification logic.
J. Log. Comput., 2017

Strong Completeness of Provability Logic for Ordinal Spaces.
J. Symb. Log., 2017

2016
Cut Elimination for Gödel Logic with an Operator Adding a Constant.
Proceedings of the Logic, Language, Information, and Computation, 2016

Compactness in Infinitary Gödel Logics.
Proceedings of the Logic, Language, Information, and Computation, 2016

Verification logic: An arithmetical interpretation for negative introspection.
Proceedings of the Advances in Modal Logic 11, 2016


  Loading...