Joost J. Joosten

A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic

Lev D. Beklemishev, Joost J. Joosten, Marco Vervoort · Journal of Logic and Computation · 2005 · 38 citations · Full text

On Provability Logics with Linearly Ordered Modalities

Lev D. Beklemishev, David Fernández–Duque, Joost J. Joosten · Studia Logica · 2013 · 33 citations

Engineering, Substructural Logic, Automated Reasoning +6

The Interpretability Logic of all Reasonable Arithmetical Theories

Joost J. Joosten, Albert Visser · Erkenntnis · 2000 · 27 citations

Empirical Encounters with Computational Irreducibility and Unpredictability

Héctor Zenil, Fernando Soler Toscano, Joost J. Joosten · Minds and Machines · 2011 · 23 citations

Computational Science, Computational Complexity Theory, Engineering +6

A new principle in the interpretability logic of all reasonable arithmetical theories

Evan Goris, Joost J. Joosten · Logic Journal of IGPL · 2009 · 23 citations

Theory Of Computing, Non-classical Logic, Reasonable Arithmetical Theories +15