Juan P. Aguilera

Technische Universität Wien - Vienna / Austria

Others

AD Scientific Index ID: 6110941

Technical University of Vienna

Go Premium -
Unlock Full Profile Tools

Get Your Global Impact Certificate

Technische Universität Wien

Juan P. Aguilera's MOST POPULAR ARTICLES

1-) Unsound inferences make proofs shorter The Journal of Symbolic Logic 84 (1), 102-122, 2019

2-) Time and Gödel: Fuzzy temporal reasoning in PSPACE International Workshop on Logic, Language, Information, and Computation, 18-35, 2022

3-) Strong completeness of provability logic for ordinal spaces The Journal of Symbolic Logic 82 (2), 608-628, 2017

4-) Long games and σ-projective sets Annals of Pure and Applied Logic 172 (4), 102939, 2021

5-) AG\" odel Calculus for Linear Temporal Logic arXiv preprint arXiv:2205.05182, 2022

ARTICLES

Add your articles