Browsing by Author Joosten, Joost J.
Showing results 1 to 10 of 10
Issue Date | Title | Author(s) |
---|---|---|
Jul-2024 | A classification of the set-theoretic total recursive functions of KPl | Fernández Dejean, Anton |
29-Jun-2016 | Fractal Dimension versus Process Complexity | Joosten, Joost J.; Soler-Toscano, Fernando; Zenil, Hector |
Sep-2020 | Independent Combinatoric Worm Principles for First Order Arithmetic and Beyond | Papafilippou, Konstantinos |
Jan-2021 | Interpretability logics and generalized Veltman semantics in Agda | Mas Rovira, Jan |
2018 | On a game-theoretic semantics for the Dialectica interpretation of analysis | González Bedmar, Mireia |
2024 | On interval logics and stopwatches in model-checking real-time systems | López Chamosa, Marina |
30-Apr-2021 | On Logics and Semantics for Interpretability | Mikec, Luka |
Jul-2019 | Personalidades jurídicas difusas y artificiales | Martín Santiesteban, Sonia; Casadesus Ripoll, Paula; Borrás Andrés, Núria; Elizalde, Idoia; Barbedo de Aguiar Carvalho, Juliana; Aragona, Valentina; Castellanos Cámara, Sandra; Rodríguez Padilla, Maridalia; Guix i Santandreu, Arnau; Muñoz de la Cuesta, Javier; Fernández Duque, David; González Bedmar, Mireia; Sousa, Daniel; Joosten, Joost J.; Errezil Alberdi, Guillermo; Gatti, Carlo |
4-Nov-2019 | The Logic of Turing Progressions | Hermo Reyes, Eduardo |
Mar-2020 | Two new series of principles in the interpretability logic of all reasonable arithmetical theories | Goris, Evan; Joosten, Joost J. |