41 found
Order:
Disambiguations
Joost J. Joosten [18]Jan Joosten [14]J. Joosten [10]Joost Joosten [4]
J. J. Joosten [2]
See also
  1.  13
    On Provability Logics with Linearly Ordered Modalities.Lev D. Beklemishev, David Fernández-Duque & Joost J. Joosten - 2014 - Studia Logica 102 (3):541-566.
    We introduce the logics GLP Λ, a generalization of Japaridze’s polymodal provability logic GLP ω where Λ is any linearly ordered set representing a hierarchy of provability operators of increasing strength. We shall provide a reduction of these logics to GLP ω yielding among other things a finitary proof of the normal form theorem for the variable-free fragment of GLP Λ and the decidability of GLP Λ for recursive orderings Λ. Further, we give a restricted axiomatization of the variable-free fragment (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  2.  3
    Models of Transfinite Provability Logic.David Fernández-Duque & Joost J. Joosten - 2013 - Journal of Symbolic Logic 78 (2):543-561.
    For any ordinal $\Lambda$, we can define a polymodal logic $\mathsf{GLP}_\Lambda$, with a modality $[\xi]$ for each $\xi < \Lambda$. These represent provability predicates of increasing strength. Although $\mathsf{GLP}_\Lambda$ has no Kripke models, Ignatiev showed that indeed one can construct a Kripke model of the variable-free fragment with natural number modalities, denoted $\mathsf{GLP}^0_\omega$. Later, Icard defined a topological model for $\mathsf{GLP}^0_\omega$ which is very closely related to Ignatiev's. In this paper we show how to extend these constructions for arbitrary $\Lambda$. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  22
    Hyperations, Veblen Progressions and Transfinite Iteration of Ordinal Functions.David Fernández-Duque & Joost J. Joosten - 2013 - Annals of Pure and Applied Logic 164 (7-8):785-801.
    Ordinal functions may be iterated transfinitely in a natural way by taking pointwise limits at limit stages. However, this has disadvantages, especially when working in the class of normal functions, as pointwise limits do not preserve normality. To this end we present an alternative method to assign to each normal function f a family of normal functions Hyp[f]=〈fξ〉ξ∈OnHyp[f]=〈fξ〉ξ∈On, called its hyperation, in such a way that f0=idf0=id, f1=ff1=f and fα+β=fα∘fβfα+β=fα∘fβ for all α, β.Hyperations are a refinement of the Veblen hierarchy (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  4.  20
    The Omega-Rule Interpretation of Transfinite Provability Logic.David Fernández-Duque & Joost J. Joosten - 2018 - Annals of Pure and Applied Logic 169 (4):333-371.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  8
    Well-Orders in the Transfinite Japaridze Algebra.D. Fernandez-Duque & J. J. Joosten - 2014 - Logic Journal of the IGPL 22 (6):933-963.
  6.  20
    Modal Matters for Interpretability Logics.Evan Goris & Joost Joosten - 2008 - Logic Journal of the IGPL 16 (4):371-412.
    This paper is the first in a series of three related papers on modal methods in interpretability logics and applications. In this first paper the fundaments are laid for later results. These fundaments consist of a thorough treatment of a construction method to obtain modal models. This construction method is used to reprove some known results in the area of interpretability like the modal completeness of the logic IL. Next, the method is applied to obtain new results: the modal completeness (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  10
    Predicativity Through Transfinite Reflection.Andrés Cordón-Franco, David Fernández-Duque, Joost J. Joosten & Francisco Félix Lara-martín - 2017 - Journal of Symbolic Logic 82 (3):787-808.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  6
    A New Principle In The Interpretability Logic Of All Reasonable Arithmetical Theories.Evan Goris & Joost Joosten - 2011 - Logic Journal of the IGPL 19 (1):1-17.
    The interpretability logic of a mathematical theory describes the structural behavior of interpretations over that theory. Different theories have different logics. This paper revolves around the question what logic describes the behavior that is present in all theories with a minimum amount of arithmetic; the intersection over all such theories so to say. We denote this target logic by IL.In this paper we present a new principle R in IL. We show that R does not follow from the logic ILP0W* (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  45
    The Interpretability Logic of All Reasonable Arithmetical Theories.Joost J. Joosten & Albert Visser - 2000 - Erkenntnis 53 (1-2):3-26.
    This paper is a presentation of astatus quæstionis, to wit of the problemof the interpretability logic of all reasonablearithmetical theories.We present both the arithmetical side and themodal side of the question.Dedicated to Dick de Jongh on the occasion of his 60th birthday.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  10.  11
    Turing–Taylor Expansions for Arithmetic Theories.Joost Joosten - 2016 - Studia Logica 104 (6):1225-1243.
    Turing progressions have been often used to measure the proof-theoretic strength of mathematical theories: iterate adding consistency of some weak base theory until you “hit” the target theory. Turing progressions based on n-consistency give rise to a \ proof-theoretic ordinal \ also denoted \. As such, to each theory U we can assign the sequence of corresponding \ ordinals \. We call this sequence a Turing-Taylor expansion or spectrum of a theory. In this paper, we relate Turing-Taylor expansions of sub-theories (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  16
    Empirical Encounters with Computational Irreducibility and Unpredictability.Hector Zenil, Fernando Soler-Toscano & Joost J. Joosten - 2012 - Minds and Machines 22 (3):149-165.
    The paper presents an exploration of conceptual issues that have arisen in the course of investigating speed-up and slowdown phenomena in small Turing machines, in particular results of a test that may spur experimental approaches to the notion of computational irreducibility. The test involves a systematic attempt to outrun the computation of a large number of small Turing machines (3 and 4 state, 2 symbol) by means of integer sequence prediction using a specialized function for that purpose. The experiment prompts (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  9
    Two New Series of Principles in the Interpretability Logic of All Reasonable Arithmetical Theories.Evan Goris & Joost J. Joosten - 2020 - Journal of Symbolic Logic 85 (1):1-25.
    The provability logic of a theory T captures the structural behavior of formalized provability in T as provable in T itself. Like provability, one can formalize the notion of relative interpretability giving rise to interpretability logics. Where provability logics are the same for all moderately sound theories of some minimal strength, interpretability logics do show variations.The logic IL is defined as the collection of modal principles that are provable in any moderately sound theory of some minimal strength. In this article (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  34
    Provability and Interpretability Logics with Restricted Realizations.Thomas F. Icard & Joost J. Joosten - 2012 - Notre Dame Journal of Formal Logic 53 (2):133-154.
    The provability logic of a theory $T$ is the set of modal formulas, which under any arithmetical realization are provable in $T$. We slightly modify this notion by requiring the arithmetical realizations to come from a specified set $\Gamma$. We make an analogous modification for interpretability logics. We first study provability logics with restricted realizations and show that for various natural candidates of $T$ and restriction set $\Gamma$, the result is the logic of linear frames. However, for the theory Primitive (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  11
    The Closed Fragment of the Interpretability Logic of PRA with a Constant for $\Mathrm{I}\Sigma_1$.Joost J. Joosten - 2005 - Notre Dame Journal of Formal Logic 46 (2):127-146.
    In this paper we carry out a comparative study of $\mathrm{I}\Sigma_1$ and PRA. We will in a sense fully determine what these theories have to say about each other in terms of provability and interpretability. Our study will result in two arithmetically complete modal logics with simple universal models.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  7
    The Logic of Turing Progressions.Eduardo Hermo Reyes & Joost J. Joosten - 2020 - Notre Dame Journal of Formal Logic 61 (1):155-180.
    Turing progressions arise by iteratedly adding consistency statements to a base theory. Different notions of consistency give rise to different Turing progressions. In this paper we present a logic that generates exactly all relations that hold between these different Turing progressions given a particular set of natural consistency notions. Thus, the presented logic is proven to be arithmetically sound and complete for a natural interpretation, named the formalized Turing progressions interpretation.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  7
    Self Provers and Σ1 Sentences.Evan Goris & Joost Joosten - 2012 - Logic Journal of the IGPL 20 (1):1-21.
    This paper is the second in a series of three papers. All three papers deal with interpretability logics and related matters. In the first paper a construction method was exposed to obtain models of these logics. Using this method, we obtained some completeness results, some already known, and some new. In this paper, we will set the construction method to work to obtain more results. First, the modal completeness of the logic ILM is proved using the construction method. This is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  1
    Kripke Models of Transfinite Provability Logic.David Fernández-Duque & Joost J. Joosten - 2012 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 185-199.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  11
    The Closed Fragment of the Interpretability Logic of PRA with a Constant For.Joost J. Joosten - 2005 - Notre Dame Journal of Formal Logic 46 (2):127-146.
    In this paper we carry out a comparative study of and PRA. We will in a sense fully determine what these theories have to say about each other in terms of provability and interpretability. Our study will result in two arithmetically complete modal logics with simple universal models.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  38
    Consistency Statements and Iterations of Computable Functions in IΣ1 and PRA.Joost J. Joosten - 2010 - Archive for Mathematical Logic 49 (7-8):773-798.
    In this paper we will state and prove some comparative theorems concerning PRA and IΣ1. We shall provide a characterization of IΣ1 in terms of PRA and iterations of a class of functions. In particular, we prove that for this class of functions the difference between IΣ1 and PRA is exactly that, where PRA is closed under iterations of these functions, IΣ1 is moreover provably closed under iteration. We will formulate a sufficient condition for a model of PRA to be (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20.  18
    Jewish Palestinian Aramaic Poetry From Late Antiquity.Jan Joosten, Michael Sokoloff & Joseph Yahalom - 2001 - Journal of the American Oriental Society 121 (4):689.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21. Une Théologie de la Septante: Réflexions Méthodologiques Sur l'Interprétation de la Version Grecque.Jan Joosten - 2000 - Revue de Théologie Et de Philosophie 132 (1):31-46.
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  22.  25
    Propositional Proof Systems and Fast Consistency Provers.Joost J. Joosten - 2007 - Notre Dame Journal of Formal Logic 48 (3):381-398.
    A fast consistency prover is a consistent polytime axiomatized theory that has short proofs of the finite consistency statements of any other polytime axiomatized theory. Krajíček and Pudlák have proved that the existence of an optimal propositional proof system is equivalent to the existence of a fast consistency prover. It is an easy observation that NP = coNP implies the existence of a fast consistency prover. The reverse implication is an open question. In this paper we define the notion of (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  23.  7
    Interpretability in PRA.Marta Bílková, Dick de Jongh & Joost J. Joosten - 2009 - Annals of Pure and Applied Logic 161 (2):128-138.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  12
    « Fais cela et tu vivras ». Un motif vétérotestamentaire et ses échos néotestamentaires.Jan Joosten - 2008 - Revue des Sciences Religieuses 82:331-341.
    La pratique de la loi assure la vie. Ce principe est martelé tout au long de la Bible hébraïque. Son expression la plus concise se trouve en Lv 18,5 : «Vous observerez mes lois et mes ordonnances : l'homme qui les mettra en pratique vivra par elles ». Cet axiome n'est jamais remis en question, même si un ou deux passages en limitent l'application. La littérature intertestamentaire continue à investir ce thème et le Nouveau Testament le reprend à sa manière. (...)
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25.  10
    Lowerbounds in Proof Complexity.J. J. Joosten - 2007 - Bulletin of Symbolic Logic 13 (2):263-263.
  26.  7
    Osée 1, 2 texte hébreu et texte grec.Jan Joosten - 1999 - Revue des Sciences Religieuses 73 (2):202-206.
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27.  10
    Liminaire. Torah et éthique.Jan Joosten & Karsten Lehmkühler - 2008 - Revue des Sciences Religieuses 82:301-302.
    L’unité des disciplines théologiques n’est pas toujours facile à percevoir. L’étude des textes bibliques, d’une part, et la réflexion sys­tématique, d’autre part, suivent chacune leur logique et leurs méthodes, pour ne rien dire des disciplines historiques et pratiques ! Afin de répondre à la demande toujours grandissante d’une approche interdisciplinaire, les soussignés, tous deux enseignants à la Faculté de théologie protestante de l’Université Marc Bloch, l’un bibliste, l’autre éthicien, a..
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28.  6
    <> et<> dans le code de saintete (Lev. 17-26).Jan Joosten - 1997 - Revue des Sciences Religieuses 71 (1):3-8.
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29.  6
    Que s’est-il passé au jardin d’Eden?Jan Joosten - 2012 - Revue des Sciences Religieuses 86 (4):493-501.
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  7
    The Negation of the Non-Verbal Clause in Early Syriac.J. Joosten - 1992 - Journal of the American Oriental Society 112 (4):584-588.
  31.  3
    Kripke Models of Transfinite Provability Logic.David Fernández-Duque & Joost J. Joosten - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic, Volume 9. CSLI Publications. pp. 185-199.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  6
    Interpretability In.Marta Bílková, Dick de Jongh & Joost J. Joosten - 2009 - Annals of Pure and Applied Logic 161 (2):128-138.
    In this paper, we study IL(), the interpretability logic of . As is neither an essentially reflexive theory nor finitely axiomatizable, the two known arithmetical completeness results do not apply to : IL() is not or . IL() does, of course, contain all the principles known to be part of IL, the interpretability logic of the principles common to all reasonable arithmetical theories. In this paper, we take two arithmetical properties of and see what their consequences in the modal logic (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  33.  1
    « Tu » et « vous » dans le code de sainteté.Jan Joosten - 1997 - Revue des Sciences Religieuses 71 (1):137-138.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34. Revue Des Livres/Book Reviews-Sciences Bibliques/Bible-IV Ancien Testament (Suite)/Old Testament (Continuation).R. Hunziker-Rodewald, J. Joosten & A. Marx - 2009 - Revue D'Histoire Et de Philosophie Religieuses 89 (3):367.
    No categories
     
    Export citation  
     
    Bookmark  
  35. Chalkèdôn (Ap 21, 19).J. JoOSteN - 1999 - Revue D'Histoire Et de Philosophie Religieuses 79 (1):135-143.
    Translate
     
     
    Export citation  
     
    Bookmark  
  36. Jésus et l'aveugle-né (Jn 9, 1-34) dans l'Évangile de Barnabas et dans le Diatessaron.Jan Joosten - 2000 - Revue D'Histoire Et de Philosophie Religieuses 80 (3):359-369.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  37. Le cadre conceptuel du Code de Sainteté.J. Joosten - 1995 - Revue D'Histoire Et de Philosophie Religieuses 75 (4):385-398.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  38. La Peshitta de l'Ancien Testament Dans la Recherche Récente.J. Joosten - 1996 - Revue D'Histoire Et de Philosophie Religieuses 76 (4):385-395.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  39. La tradition syriaque des évangiles et la question du «substrat araméen».J. Joosten - 1997 - Revue D'Histoire Et de Philosophie Religieuses 77 (3):257-272.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  40. «Père, j'ai péché envers le ciel et devant toi»: Remarques exégétiques et textuelles sur Luc 15, 18.21.Jan Joosten - 2003 - Revue D'Histoire Et de Philosophie Religieuses 83 (2):145-156.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  41. The Archaeology of Jordan and Beyond (Book).J. Joosten - 2001 - Journal of the American Oriental Society 121 (4):690-691.
    No categories
     
    Export citation  
     
    Bookmark