Edit Profile de Jongh, Dick H. J. Compute Distance To: Compute Author ID: de-jongh.dick-h-j Published as: De Jongh, Dick; de Jongh, D. H. J.; de Jongh, Dick; de Jongh, Dick H. J. External Links: MGP · Wikidata · GND Member of Collective: L. T. F. Gamut Documents Indexed: 48 Publications since 1966, including 2 Books all top 5 Co-Authors 5 single-authored 5 Bezhanishvili, Nick 5 Montagna, Franco 5 Visser, Albert 4 Hendriks, Lex 3 Shirmohammadzadeh Maleki, Fatemeh 2 Renardel de Lavalette, Gerard R. 2 Smoryński, Craig 2 Verbrugge, Rineke 2 Yang, Fan 2 Zhao, Zhiguang 1 Abreces, Carlos 1 Bezhanishvili, Guram 1 Bílková, Marta 1 Chagrova, L. A. 1 Colacito, Almudena 1 Coumans, Dion C. S. 1 Gabbay, Dov M. 1 Gencer, Çigdem 1 Ghosh, Sujata 1 Gierasimczuk, Nina 1 Hendricks, Vincent F. 1 Hoogland, Eva 1 Iemhoff, Rosalie 1 Ilin, Julia 1 Japaridze, Giorgi 1 Joosten, Joost J. 1 Jumelet, Marc 1 Oner, Tahsin 1 Parikh, Rohit 1 Pianigiani, Duccio 1 Troelstra, Anne Sjerp 1 Tzimoulis, Apostolos 1 van Benthem, Johan F. A. K. 1 van Gool, Samuel Jacob 1 Vargas, Ana Lucia 1 Veltman, Frank 1 Zhou, Chunlai all top 5 Serials 6 Studia Logica 4 Logic Journal of the IGPL 2 The Journal of Symbolic Logic 2 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 2 Nederlandse Akademie van Wetenschappen. Proceedings. Series A. Indagationes Mathematicae 1 Annals of Mathematical Logic 1 Notre Dame Journal of Formal Logic 1 Annals of Pure and Applied Logic 1 Journal of Automated Reasoning 1 Journal of Logic and Computation 1 Archive for Mathematical Logic 1 Indagationes Mathematicae. New Series 1 Soft Computing 1 Nieuw Archief voor Wiskunde. Vijfde Serie 1 Logic and Logical Philosophy 1 Theory and Practice of Logic Programming Fields 46 Mathematical logic and foundations (03-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 3 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 39 Publications have been cited 260 times in 208 Documents Cited by ▼ Year ▼ Well-partial orderings and hierarchies. Zbl 0435.06004de Jongh, D. H. J.; Parikh, Rohit 38 1977 A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property. Zbl 0289.02032Gabbay, D. M.; de Jongh, D. H. J. 32 1974 The logic of provability. Zbl 0915.03019Japaridze, Giorgi; de Jongh, Dick 24 1998 On the connection of partially ordered sets with some Pseudo-Boolean algebras. Zbl 0137.02203de Jongh, D. H. J.; Troelstra, A. S. 22 1966 Provability logics for relative interpretability. Zbl 0794.03026de Jongh, Dick; Veltman, Frank 16 1990 Characterization of strongly equivalent logic programs in intermediate logics. Zbl 1069.68538de Jongh, Dick H. J.; Hendriks, Lex 10 2003 On the proof of Solovay’s theorem. Zbl 0744.03057de Jongh, Dick; Jumelet, Marc; Montagna, Franco 10 1991 Essay on I-valuations. Zbl 0213.01201de Jongh, D. H. J. 8 1968 Extendible formulas in two variables in intuitionistic logic. Zbl 1256.03019Bezhanishvili, Nick; de Jongh, Dick 6 2012 Intuitionistic implication without disjunction. Zbl 1258.03014Renardel de Lavalette, Gerard R.; Hendriks, Alex; de Jongh, Dick H. J. 6 2012 A simplification of a completeness proof of Guaspari and Solovay. Zbl 0638.03018de Jongh, Dick H. J. 6 1987 Unifiability in extensions of K4. Zbl 1170.03009Gencer, Çiǧdem; de Jongh, Dick 5 2009 Embeddings of Heyting algebras. Zbl 0857.03041de Jongh, Dick; Visser, Albert 5 1996 The decidability of dependency in intuitionistic propositional logic. Zbl 0836.03010de Jongh, Dick; Chagrova, L. A. 5 1995 Provable fixed points. Zbl 0661.03009de Jongh, Dick; Montagna, Franco 5 1988 A class of intuitionistic connectives. Zbl 0479.03015de Jongh, Dick H. J. 5 1980 Kripke models and the intuitionistic theory of species. Zbl 0317.02037de Jongh, D. H. J.; Smorynski, C. 5 1976 The Kuznetsov-Gerčiu and Rieger-Nishimura logics. The boundaries of the finite model property. Zbl 1173.03028Bezhanishvili, Guram; Bezhanishvili, Nick; de Jongh, Dick 4 2008 Computations in fragments of intuitionistic propositional logic. Zbl 0743.03007De Jongh, Dick; Hendriks, Lex; Renardel de Lavalette, Gerard R. 4 1991 Formulas of one propositional variable in intuitionistic arithmetic. Zbl 0547.03037de Jongh, Dick H. J. 4 1982 Stable formulas in intuitionistic logic. Zbl 06939322Bezhanishvili, Nick; de Jongh, Dick 3 2018 Subminimal negation. Zbl 1396.03009Colacito, Almudena; de Jongh, Dick; Vargas, Ana Lucia 3 2017 Positive formulas in intuitionistic and minimal logic. Zbl 1326.03018de Jongh, Dick; Zhao, Zhiguang 3 2015 Logic and learning. Zbl 1354.03015Gierasimczuk, Nina; Hendricks, Vincent F.; de Jongh, Dick 3 2014 Intermediate logics and the de Jongh property. Zbl 1233.03033de Jongh, Dick; Verbrugge, Rineke; Visser, Albert 3 2011 Solution of a problem of David Guaspari. Zbl 0923.03025de Jongh, Dick; Pianigiani, Duccio 3 1999 Explicit fixed points in interpretability logic. Zbl 0744.03020de Jongh, Dick; Visser, Albert 3 1991 A characterization of the intuitionistic propositional calculus. Zbl 0225.02020de Jongh, D. H. J. 3 1970 Comparing strengths of beliefs explicitly. Zbl 1272.03085Ghosh, Sujata; de Jongh, Dick 2 2013 Jankov’s theorems for intermediate logics in the setting of universal models. Zbl 1341.03036de Jongh, Dick; Yang, Fan 2 2011 Interpolation, definability and fixed points in interpretability logics. Zbl 1001.03054Abreces, Carlos; Hoogland, Eva; de Jongh, Dick 2 2001 Much shorter proofs. Zbl 0688.03040de Jongh, Dick; Montagna, Franco 2 1989 Generic generalized Rosser fixed points. Zbl 0638.03019de Jongh, Dick H. J.; Montagna, Franco 2 1987 Subintuitionistic logics and the implications they prove. Zbl 1437.03044de Jongh, Dick; Shirmohammadzadeh Maleki, Fatemeh 1 2018 Interpretability in PRA. Zbl 1184.03011Bílková, Marta; de Jongh, Dick; Joosten, Joost J. 1 2009 Properties of intuitionistic provability and preservativity logics. Zbl 1120.03044Iemhoff, Rosalie; de Jongh, Dick; Zhou, Chunlai 1 2005 Finitely generated Magari algebras and arithmetic. Zbl 0865.03053Hendriks, Lex; de Jongh, Dick 1 1996 Rosser orderings and free variables. Zbl 0744.03058de Jongh, Dick; Montagna, Franco 1 1991 Kripke models and the theory of species. Zbl 0299.02037de Jongh, D. H. J.; Smorynski, C. 1 1974 Stable formulas in intuitionistic logic. Zbl 06939322Bezhanishvili, Nick; de Jongh, Dick 3 2018 Subintuitionistic logics and the implications they prove. Zbl 1437.03044de Jongh, Dick; Shirmohammadzadeh Maleki, Fatemeh 1 2018 Subminimal negation. Zbl 1396.03009Colacito, Almudena; de Jongh, Dick; Vargas, Ana Lucia 3 2017 Positive formulas in intuitionistic and minimal logic. Zbl 1326.03018de Jongh, Dick; Zhao, Zhiguang 3 2015 Logic and learning. Zbl 1354.03015Gierasimczuk, Nina; Hendricks, Vincent F.; de Jongh, Dick 3 2014 Comparing strengths of beliefs explicitly. Zbl 1272.03085Ghosh, Sujata; de Jongh, Dick 2 2013 Extendible formulas in two variables in intuitionistic logic. Zbl 1256.03019Bezhanishvili, Nick; de Jongh, Dick 6 2012 Intuitionistic implication without disjunction. Zbl 1258.03014Renardel de Lavalette, Gerard R.; Hendriks, Alex; de Jongh, Dick H. J. 6 2012 Intermediate logics and the de Jongh property. Zbl 1233.03033de Jongh, Dick; Verbrugge, Rineke; Visser, Albert 3 2011 Jankov’s theorems for intermediate logics in the setting of universal models. Zbl 1341.03036de Jongh, Dick; Yang, Fan 2 2011 Unifiability in extensions of K4. Zbl 1170.03009Gencer, Çiǧdem; de Jongh, Dick 5 2009 Interpretability in PRA. Zbl 1184.03011Bílková, Marta; de Jongh, Dick; Joosten, Joost J. 1 2009 The Kuznetsov-Gerčiu and Rieger-Nishimura logics. The boundaries of the finite model property. Zbl 1173.03028Bezhanishvili, Guram; Bezhanishvili, Nick; de Jongh, Dick 4 2008 Properties of intuitionistic provability and preservativity logics. Zbl 1120.03044Iemhoff, Rosalie; de Jongh, Dick; Zhou, Chunlai 1 2005 Characterization of strongly equivalent logic programs in intermediate logics. Zbl 1069.68538de Jongh, Dick H. J.; Hendriks, Lex 10 2003 Interpolation, definability and fixed points in interpretability logics. Zbl 1001.03054Abreces, Carlos; Hoogland, Eva; de Jongh, Dick 2 2001 Solution of a problem of David Guaspari. Zbl 0923.03025de Jongh, Dick; Pianigiani, Duccio 3 1999 The logic of provability. Zbl 0915.03019Japaridze, Giorgi; de Jongh, Dick 24 1998 Embeddings of Heyting algebras. Zbl 0857.03041de Jongh, Dick; Visser, Albert 5 1996 Finitely generated Magari algebras and arithmetic. Zbl 0865.03053Hendriks, Lex; de Jongh, Dick 1 1996 The decidability of dependency in intuitionistic propositional logic. Zbl 0836.03010de Jongh, Dick; Chagrova, L. A. 5 1995 On the proof of Solovay’s theorem. Zbl 0744.03057de Jongh, Dick; Jumelet, Marc; Montagna, Franco 10 1991 Computations in fragments of intuitionistic propositional logic. Zbl 0743.03007De Jongh, Dick; Hendriks, Lex; Renardel de Lavalette, Gerard R. 4 1991 Explicit fixed points in interpretability logic. Zbl 0744.03020de Jongh, Dick; Visser, Albert 3 1991 Rosser orderings and free variables. Zbl 0744.03058de Jongh, Dick; Montagna, Franco 1 1991 Provability logics for relative interpretability. Zbl 0794.03026de Jongh, Dick; Veltman, Frank 16 1990 Much shorter proofs. Zbl 0688.03040de Jongh, Dick; Montagna, Franco 2 1989 Provable fixed points. Zbl 0661.03009de Jongh, Dick; Montagna, Franco 5 1988 A simplification of a completeness proof of Guaspari and Solovay. Zbl 0638.03018de Jongh, Dick H. J. 6 1987 Generic generalized Rosser fixed points. Zbl 0638.03019de Jongh, Dick H. J.; Montagna, Franco 2 1987 Formulas of one propositional variable in intuitionistic arithmetic. Zbl 0547.03037de Jongh, Dick H. J. 4 1982 A class of intuitionistic connectives. Zbl 0479.03015de Jongh, Dick H. J. 5 1980 Well-partial orderings and hierarchies. Zbl 0435.06004de Jongh, D. H. J.; Parikh, Rohit 38 1977 Kripke models and the intuitionistic theory of species. Zbl 0317.02037de Jongh, D. H. J.; Smorynski, C. 5 1976 A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property. Zbl 0289.02032Gabbay, D. M.; de Jongh, D. H. J. 32 1974 Kripke models and the theory of species. Zbl 0299.02037de Jongh, D. H. J.; Smorynski, C. 1 1974 A characterization of the intuitionistic propositional calculus. Zbl 0225.02020de Jongh, D. H. J. 3 1970 Essay on I-valuations. Zbl 0213.01201de Jongh, D. H. J. 8 1968 On the connection of partially ordered sets with some Pseudo-Boolean algebras. Zbl 0137.02203de Jongh, D. H. J.; Troelstra, A. S. 22 1966 all cited Publications top 5 cited Publications all top 5 Cited by 196 Authors 14 Visser, Albert 11 de Jongh, Dick H. J. 9 Montagna, Franco 6 Citkin, Alex 6 Iemhoff, Rosalie 6 Joosten, Joost J. 5 Goudsmit, Jeroen P. 5 Miglioli, Pierangelo 4 Marcone, Alberto 4 Rathjen, Michael 4 Weiermann, Andreas 4 Woltran, Stefan 3 Altman, Harry J. 3 Balbiani, Philippe 3 Beklemishev, Lev D. 3 Bezhanishvili, Nick 3 Dzhaparidze, Giorgie 3 Ferrari, Mauro 3 Gencer, Çigdem 3 Gierasimczuk, Nina 3 Humberstone, Lloyd 3 Japaridze, Giorgi 3 Montalbán, Antonio 3 Ono, Hiroakira 3 Pearce, David G. 3 Pouzet, Maurice 3 Rasga, João 3 Rybakov, Vladimir Vladimirovich 3 Schnoebelen, Philippe 3 Sernadas, Cristina S. 3 Truszczyński, Mirosław 3 Van der Meeren, Jeroen 3 Zakharyaschev, Michael Viktorovich 2 Ardeshir, Mohammad 2 Bílková, Marta 2 Boolos, George S. 2 Chagrov, Aleksandr Vasil’evich 2 Docherty, Simon 2 Drugush, Ya. M. 2 Dziobiak, Wiesław 2 Hájek, Petr 2 Hendriks, Lex 2 Knight, Julia F. 2 Kříž, Igor 2 Lange, Karen 2 Muravitsky, Alexei Yu. 2 Oner, Tahsin 2 Pym, David J. 2 Schmidt, Diana 2 Schmitz, Sylvain 2 Sernadas, Amilcar C. 2 Shore, Richard A. 2 Simpson, Stephen G. 2 Słomczyńska, Katarzyna 2 Sommaruga, Giovanni 2 Thomas, Robin 2 Tropin, M. P. 2 Valverde, Agustín 2 van Dalen, Dirk 2 Verbrugge, Rineke 2 Vuković, Mladen 1 Akama, Yohji 1 Alizadeh, Majid 1 Arrazola Ramírez, José Ramón Enrique 1 Assous, Roland 1 Avellone, Alessandro 1 Baaz, Matthias 1 Baltag, Alexandru 1 Bellissima, Fabio 1 Berarducci, Alessandro 1 Bergstra, Jan A. 1 Bertrand, Nathalie 1 Bezhanishvili, Guram 1 Bibak, Ali 1 Bittar, E. Tahhan 1 Blanck, Rasmus 1 Blumensath, Achim 1 Bochman, Alexander 1 Bolander, Thomas 1 Bou, Félix 1 Buss, Samuel R. 1 Čačić, Vedran 1 Caleiro, Carlos 1 Carballido, José Luis 1 Chakir, Ilham 1 Cichon, E. A. 1 Colacito, Almudena 1 Coregliano, Leonardo Nagami 1 Darnière, Luck 1 de Rijke, Maarten 1 Diener, Hannes 1 Džamonja, Mirna 1 Enayat, Ali 1 Espíndola, Christian 1 Fairtlough, Matt 1 Fernández Duque, David 1 Flaminio, Tommaso 1 Freyd, Peter J. 1 Friedman, Harvey M. 1 Friend, Michèle ...and 96 more Authors all top 5 Cited in 46 Serials 31 Annals of Pure and Applied Logic 30 Studia Logica 18 Archive for Mathematical Logic 11 The Journal of Symbolic Logic 10 Notre Dame Journal of Formal Logic 7 Algebra and Logic 6 The Review of Symbolic Logic 5 Journal of Philosophical Logic 5 Theoretical Computer Science 4 Algebra Universalis 4 Publications of the Research Institute for Mathematical Sciences, Kyoto University 4 Information and Computation 4 Mathematical Logic Quarterly (MLQ) 4 Journal of Applied Logic 4 Logica Universalis 2 Discrete Mathematics 2 Mathematical Notes 2 Russian Mathematical Surveys 2 Journal of Combinatorial Theory. Series A 2 Indagationes Mathematicae. New Series 2 Journal of Applied Non-Classical Logics 2 Annals of Mathematics and Artificial Intelligence 2 Theory and Practice of Logic Programming 1 Archiv für Mathematische Logik und Grundlagenforschung 1 Fuzzy Sets and Systems 1 Journal of Computer and System Sciences 1 Michigan Mathematical Journal 1 Semigroup Forum 1 Transactions of the American Mathematical Society 1 Order 1 Graphs and Combinatorics 1 Journal of Automated Reasoning 1 Computational Complexity 1 Formal Methods in System Design 1 Journal of Logic, Language and Information 1 Selecta Mathematica. New Series 1 The Bulletin of Symbolic Logic 1 Soft Computing 1 Annales Mathematicae Silesianae 1 Integers 1 Logic and Logical Philosophy 1 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 Contributions to Discrete Mathematics 1 Logical Methods in Computer Science 1 Axioms 1 ACM Transactions on Computation Theory all top 5 Cited in 15 Fields 183 Mathematical logic and foundations (03-XX) 37 Computer science (68-XX) 27 Order, lattices, ordered algebraic structures (06-XX) 7 General algebraic systems (08-XX) 5 History and biography (01-XX) 4 Combinatorics (05-XX) 4 Number theory (11-XX) 3 Category theory; homological algebra (18-XX) 2 General and overarching topics; collections (00-XX) 2 Associative rings and algebras (16-XX) 2 Group theory and generalizations (20-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Field theory and polynomials (12-XX) 1 General topology (54-XX) 1 Probability theory and stochastic processes (60-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.