E-LIB Suche - Ergebnisse für: Joosten, Joost J.

1

UTC Time, Formally Verified:

, In: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs,

de Almeida Borges, Ana ; González Bedmar, Mireia ; Conejero Rodríguez, Juan... - p. 2-13 , 2024

Link: https://dl.acm.org/doi/1..

2

Theory and application of labelling techniques for interpre..:

Goris, Evan ; Bílková, Marta ; Joosten, Joost J..
Mathematical Logic Quarterly. 68 (2022) 3 - p. 352-374 , 2022

Link: https://doi.org/10.1002/..

3

AN ESCAPE FROM VARDANYAN'S THEOREM:

DE ALMEIDA BORGES, ANA ; JOOSTEN, JOOST J.
The Journal of Symbolic Logic. 88 (2022) 4 - p. 1613-1638 , 2022

Link: https://doi.org/10.1017/..

4

Arithmetical and Hyperarithmetical Worm Battles:

FernÁndez-Duque, David ; Joosten, Joost J ; Pakhomov, Fedor..
Journal of Logic and Computation. 32 (2022) 8 - p. 1558-1584 , 2022

Link: https://doi.org/10.1093/..

5

MÜNCHHAUSEN PROVABILITY:

JOOSTEN, JOOST J.
The Journal of Symbolic Logic. 86 (2021) 3 - p. 1006-1034 , 2021

Link: https://doi.org/10.1017/..

6

To drive or not to drive: A logical and computational analy..:

de Almeida Borges, Ana ; Conejero Rodríguez, Juan José ; Fernández-Duque, David..
Information and Computation. 280 (2021) - p. 104636 , 2021

Link: https://doi.org/10.1016/..

7

Hyperarithmetical Worm Battles:

, In: Logical Foundations of Computer Science; Lecture Notes in Computer Science,

Fernández-Duque, David ; Papafilippou, Konstnatinos ; Joosten, Joost J. - p. 52-69 , 2021

Link: https://doi.org/10.1007/..

8

TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC ..:

GORIS, EVAN ; JOOSTEN, JOOST J.
The Journal of Symbolic Logic. 85 (2019) 1 - p. 1-25 , 2019

Link: https://doi.org/10.1017/..

9

The omega-rule interpretation of transfinite provability lo..:

Fernández-Duque, David ; Joosten, Joost J.
Annals of Pure and Applied Logic. 169 (2018) 4 - p. 333-371 , 2018

Link: https://doi.org/10.1016/..

10

PREDICATIVITY THROUGH TRANSFINITE REFLECTION:

CORDÓN-FRANCO, ANDRÉS ; FERNÁNDEZ-DUQUE, DAVID ; JOOSTEN, JOOST J..
The Journal of Symbolic Logic. 82 (2017) 3 - p. 787-808 , 2017

Link: https://doi.org/10.1017/..

11

PREDICATIVITY THROUGH TRANSFINITE REFLECTION:

CORDÓN-FRANCO, ANDRÉS ; FERNÁNDEZ-DUQUE, DAVID ; JOOSTEN, JOOST J..
The Journal of Symbolic Logic. 82 (2017) 3 - p. 787-808 , 2017

Link: https://www.jstor.org/st..

12

Turing–Taylor Expansions for Arithmetic Theories:

Joosten, Joost J.
Studia Logica. 104 (2016) 6 - p. 1225-1243 , 2016

Link: https://doi.org/10.1007/..

13

Fractal Dimension versus Process Complexity:

Joosten, Joost J. ; Soler-Toscano, Fernando ; Zenil, Hector
Advances in Mathematical Physics. 2016 (2016) - p. 1-21 , 2016

Link: https://doi.org/10.1155/..

14

Turing—Taylor Expansions for Arithmetic Theories:

Joosten, Joost J.
Studia Logica: An International Journal for Symbolic Logic. 104 (2016) 6 - p. 1225-1243 , 2016

Link: http://www.jstor.org/sta..

15

On Provability Logics with Linearly Ordered Modalities:

Beklemishev, Lev D. ; Fernández-Duque, David ; Joosten, Joost J.
Studia Logica: An International Journal for Symbolic Logic. 102 (2014) 3 - p. 541-566 , 2014

Link: https://www.jstor.org/st..