24 found
Order:
Disambiguations
Dick de Jongh [34]Dick H. J. de Jongh [2]
  1. Provability logics for relative interpretability.Frank Veltman & Dick De Jongh - 1990 - In Petio Petrov Petkov (ed.), Mathematical Logic. Proceedings of the Heyting '88 Summer School. Springer. pp. 31-42.
    In this paper the system IL for relative interpretability is studied.
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  2. Intermediate Logics and the de Jongh property.Dick de Jongh, Rineke Verbrugge & Albert Visser - 2011 - Archive for Mathematical Logic 50 (1-2):197-213.
    We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  3.  33
    Stable Formulas in Intuitionistic Logic.Nick Bezhanishvili & Dick de Jongh - 2018 - Notre Dame Journal of Formal Logic 59 (3):307-324.
    In 1995 Visser, van Benthem, de Jongh, and Renardel de Lavalette introduced NNIL-formulas, showing that these are exactly the formulas preserved under taking submodels of Kripke models. In this article we show that NNIL-formulas are up to frame equivalence the formulas preserved under taking subframes of frames, that NNIL-formulas are subframe formulas, and that subframe logics can be axiomatized by NNIL-formulas. We also define a new syntactic class of ONNILLI-formulas. We show that these are the formulas preserved in monotonic images (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  38
    On the proof of Solovay's theorem.Dick de Jongh, Marc Jumelet & Franco Montagna - 1991 - Studia Logica 50 (1):51-69.
    Solovay's 1976 completeness result for modal provability logic employs the recursion theorem in its proof. It is shown that the uses of the recursion theorem can in this proof replaced by the diagonalization lemma for arithmetic and that, in effect, the proof neatly fits the framework of another, enriched, system of modal logic so that any arithmetical system for which this logic is sound is strong enough to carry out the proof, in particular $\text{I}\Delta _{0}+\text{EXP}$ . The method is adapted (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  5.  51
    (1 other version)The decidability of dependency in intuitionistic propositional Logi.Dick de Jongh & L. A. Chagrova - 1995 - Journal of Symbolic Logic 60 (2):498-504.
    A definition is given for formulae $A_1,\ldots,A_n$ in some theory $T$ which is formalized in a propositional calculus $S$ to be (in)dependent with respect to $S$. It is shown that, for intuitionistic propositional logic $\mathbf{IPC}$, dependency (with respect to $\mathbf{IPC}$ itself) is decidable. This is an almost immediate consequence of Pitts' uniform interpolation theorem for $\mathbf{IPC}$. A reasonably simple infinite sequence of $\mathbf{IPC}$-formulae $F_n(p, q)$ is given such that $\mathbf{IPC}$-formulae $A$ and $B$ are dependent if and only if at least (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  6.  27
    Explicit Fixed Points in Interpretability Logic.Dick de Jongh & Albert Visser - 1991 - Studia Logica 50 (1):39-49.
    The problem of Uniqueness and Explicit Definability of Fixed Points for Interpretability Logic is considered. It turns out that Uniqueness is an immediate corollary of a theorem of Smoryński.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  7.  43
    Generic Generalized Rosser Fixed Points.Dick H. J. de Jongh & Franco Montagna - 1987 - Studia Logica 46 (2):193-203.
    To the standard propositional modal system of provability logic constants are added to account for the arithmetical fixed points introduced by Bernardi-Montagna in [5]. With that interpretation in mind, a system LR of modal propositional logic is axiomatized, a modal completeness theorem is established for LR and, after that, a uniform arithmetical completeness theorem with respect to PA is obtained for LR.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  8.  29
    Properties of Intuitionistic Provability and Preservativity Logics.Rosalie Iemhoff, Dick de Jongh & Chunlai Zhou - 2005 - Logic Journal of the IGPL 13 (6):615-636.
    We study the modal properties of intuitionistic modal logics that belong to the provability logic or the preservativity logic of Heyting Arithmetic. We describe the □-fragment of some preservativity logics and we present fixed point theorems for the logics iL and iPL, and show that they imply the Beth property. These results imply that the fixed point theorem and the Beth property hold for both the provability and preservativity logic of Heyting Arithmetic. We present a frame correspondence result for the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  9.  36
    Extendible Formulas in Two Variables in Intuitionistic Logic.Nick Bezhanishvili & Dick de Jongh - 2012 - Studia Logica 100 (1):61-89.
    We give alternative characterizations of exact, extendible and projective formulas in intuitionistic propositional calculus IPC in terms of n-universal models. From these characterizations we derive a new syntactic description of all extendible formulas of IPC in two variables. For the formulas in two variables we also give an alternative proof of Ghilardi’s theorem that every extendible formula is projective.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10. (1 other version)Modal completeness of ILW.Dick De Jongh & Frank Veltman - 1999 - In Jelle Gerbrandy, Maarten Marx, Maarten de Rijke & Yde Venema (eds.), Essays dedicated to Johan van Benthem on the occasion of his 50th birthday. Amsterdam University Press.
    This paper contains a completeness proof for the system ILW, a rather bewildering axiom system belonging to the family of interpretability logics. We have treasured this little proof for a considerable time, keeping it just for ourselves. Johan’s ftieth birthday appears to be the right occasion to get it out of our wine cellar.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  11.  43
    (1 other version)Provable Fixed Points.Dick De Jongh & Franco Montagna - 1988 - Mathematical Logic Quarterly 34 (3):229-250.
  12.  42
    The Kuznetsov-Gerčiu and Rieger-Nishimura logics.Guram Bezhanishvili, Nick Bezhanishvili & Dick de Jongh - 2008 - Logic and Logical Philosophy 17 (1-2):73-110.
    We give a systematic method of constructing extensions of the Kuznetsov-Gerčiu logic KG without the finite model property (fmp for short), and show that there are continuum many such. We also introduce a new technique of gluing of cyclic intuitionistic descriptive frames and give a new simple proof of Gerčiu’s result [9, 8] that all extensions of the Rieger-Nishimura logic RN have the fmp. Moreover, we show that each extension of RN has the poly-size model property, thus improving on [9]. (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  13.  38
    Studies in discourse representation theory and the theory of generalized quantifiers.Jeroen A. G. Groenendijk, Dick de Jongh & Martin J. B. Stokhof (eds.) - 1986 - Providence, RI, USA: Foris Publications.
    Semantic Automata Johan van Ben them. INTRODUCTION An attractive, but never very central idea in modern semantics has been to regard linguistic expressions ...
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  14.  31
    (1 other version)Interpretability in.Marta Bílková, Dick de Jongh & Joost J. Joosten - 2010 - 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   2 citations  
  15.  13
    (1 other version)Much Shorter Proofs.Dick de Jongh & Franco Montagna - 1989 - Mathematical Logic Quarterly 35 (3):247-260.
  16.  28
    Rosser orderings and free variables.Dick de Jongh & Franco Montagna - 1991 - Studia Logica 50 (1):71-80.
    It is shown that for arithmetical interpretations that may include free variables it is not the Guaspari-Solovay system R that is arithmetically complete, but their system R⁻. This result is then applied to obtain the nonvalidity of some rules under arithmetical interpretations including free variables, and to show that some principles concerning Rosser orderings with free variables cannot be decided, even if one restricts onself to "usual" proof predicates.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  25
    Binary modal logic and unary modal logic.Dick de Jongh & Fatemeh Shirmohammadzadeh Maleki - forthcoming - Logic Journal of the IGPL.
    Standard unary modal logic and binary modal logic, i.e. modal logic with one binary operator, are shown to be definitional extensions of one another when an additional axiom |$U$| is added to the basic axiomatization of the binary side. This is a strengthening of our previous results. It follows that all unary modal logics extending Classical Modal Logic, in other words all unary modal logics with a neighborhood semantics, can equivalently be seen as binary modal logics. This in particular applies (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  13
    Foundations of pragmatics and lexical semantics.Jeroen A. G. Groenendijk, Dick de Jongh & Martin J. B. Stokhof (eds.) - 1986 - Providence, RI, USA,: Foris Publications ;.
  19. Foundations of pragmatics and lexical semantics.M. B. J. Stokhof, Dick de Jongh & J. A. G. Groenendijk (eds.) - 1986 - Providence, RI, USA,: Foris Publications ;.
  20. (1 other version)Interpolation, Definability and Fixed Points in Interpretability Logics.Carlos Areces, Eva Hoogland & Dick de Jongh - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 53-76.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  21. Intensional logics.Dick De Jongh & Frank Veltman - unknown
    This first chapter contains an introduction to modal logic. In section 1.1 the syntactic side of the matter is discussed, and in section 1.2 the subject is approached from a semantic point of view.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  23
    In memoriam: Anne sjerp Troelstra 1939–2019.Dick de Jongh & Joan Rand Moschovakis - 2020 - Bulletin of Symbolic Logic 26 (3-4):293-295.
  23.  23
    Preface.Dick de Jongh & Albert Visser - 1993 - Annals of Pure and Applied Logic 61 (1-2):1.
  24.  19
    Provable Fixed Points.Much Shorter Proofs.Rosser Orderings in Bimodal Logics.Much Shorter Proofs: A Bimodal Investigation. [REVIEW]Lev D. Beklemishev, Dick de Jongh, Franco Montagna & Alessandra Carbone - 1993 - Journal of Symbolic Logic 58 (2):715.