J. P. Aguilera
No current affiliation with UGent
Show
Sort by
-
- Journal Article
- A1
- open access
The Pi ^1_2 consequences of a theory
-
The spectrum of Π¹₃-soundness
-
- Journal Article
- A1
- open access
The Löwenheim-Skolem theorem for Gödel logic
-
- Miscellaneous
- open access
Modern perspectives in Proof Theory
-
Countable ordinals in indiscernibility spectra
-
- Journal Article
- A1
- open access
Locally hyperarithmetical induction
-
- Conference Paper
- C1
- open access
A Gödel calculus for linear temporal logic
-
- Conference Paper
- P1
- open access
Time and Godel : fuzzy temporal reasoning in PSPACE
-
The number of axioms
-
- Journal Article
- A1
- open access
Boundedness theorems for flowers and sharps