Items where Author is "de Jongh, Dick"

PP-2016-23: Colacito, Almudena and de Jongh, Dick and Vargas, Ana Lucia (2016) Subminimal Negation. [Report]

PP-2016-20: Bezhanishvili, Nick and de Jongh, Dick and Tzimoulis, Apostolos and Zhao, Zhiguang (2016) Universal models for the positive fragment of intuitionistic logic. [Report]

PP-2016-13: de Jongh, Dick and Maleki, Fatemeh Shirmohammadzadeh (2016) Subintuitionistic Logics with Kripke Models. [Report]

PP-2016-12: de Jongh, Dick and Maleki, Fatemeh Shirmohammadzadeh (2016) Weak Subintuitionistic Logics. [Report]

PP-2014-19: Bezhanishvili, Nick and de Jongh, Dick (2014) Stable formulas in intuitionistic logic. [Report]

PP-2014-06: de Jongh, Dick and Zhao, Zhiguang (2014) Positive Formulas in Intuitionistic and Minimal Logic. [Report]

PP-2014-02: Bezhanishvili, Nick and Coumans, Dion and van Gool, Sam and de Jongh, Dick (2014) Duality and universal models for the meet-implication fragment of IPC. [Report]

HDS-05: de Jongh, Dick (2013) Investigations on the Intuitionistic Propositional Calculus. Doctoral thesis, University of Amsterdam.

PP-2011-34: Bezhanishvili, Nick and de Jongh, Dick (2011) Extendible formulas in two variables in intuitionistic logic. [Report]

PP-2010-20: de Lavalette, Gerard R. Renardel and Hendriks, Lex and de Jongh, Dick (2010) Intuitionistic implication without disjunction. [Report]

PP-2010-07: de Jongh, Dick and Verbrugge, Rineke and Visser, Albert (2010) Intermediate Logics and the de Jongh Property. [Report]

PP-2010-08: de Jongh, Dick and Yang, Fan (2010) Jankov's Theorems for Intermediate Logics in the Setting of Universal Models. [Report]

PP-2008-32: Bilkova, Marta and de Jongh, Dick and Joosten, Joost J. (2008) Interpretability in PRA. [Report]

PP-2008-11: Bezhanishvili, Guram and Bezhanishvili, Nick and de Jongh, Dick (2008) The Kuznetsov-Gerciu and Rieger-Nishimura Logics: The Boundaries of the Finite Model Property. [Report]

PP-2007-38: Gencer, Çigdem and de Jongh, Dick (2007) Unifiability in extensions of K4. [Report]

PP-2006-48: de Jongh, Dick (2006) The Incompleteness Theorems, their content and their meaning. [Report]

PP-2006-38: de Jongh, Dick and Liu, Fenrong (2006) Optimality, Belief and Preference. [Report]

PP-2006-25: Bezhanishvili, Nick and de Jongh, Dick (2006) Intuitionistic Logic. [Report]

PP-2004-30: de Jongh, Dick (2004) Volledigheid en Onvolledigheid. [Report]

PP-2001-09: Hendriks, Lex and de Jongh, Dick (2001) Characterization of Strongly Equivalent Logic Programs in Intermediate Logics. [Report]

LP-1998-12: de Jongh, Dick and van Ulsen, Paul (1998) Beth's Nonclassical Valuations. [Report]

ML-1998-11: Areces, Carlos and de Jongh, Dick and Hoogland, Eva (1998) The Interpolation Theorem for IL and ILP. [Report]

ML-1997-01: de Jongh, Dick and Japaridze, Giorgi (1997) The Logic of Provability. [Report]

LP-1996-05: de Jongh, Dick and Kanazawa, Makoto (1996) Angluin's Theorem for Indexed Families of R.E. Sets and Applications. [Report]

ML-1995-06: de Jongh, Dick and Visser, Albert (1995) Embeddings of Heyting Algebras (revised version of ML-1993-14). [Report]

ML-1994-06: Hendriks, Lex and de Jongh, Dick (1994) Finitely Generated Magari Algebras and Arithmetic. [Report]

LP-1994-08: Osherson, Daniel and Weinstein, Scott and de Jongh, Dick and Martin, Eric (1994) Formal Learning Theory. [Report]

ML-1994-03: van Benthem, Johan and de Jongh, Dick and de Lavalette, Gerard Renardel and Visser, Albert (1994) NNIL, A Study in Intuitionistic Propositional Logic. [Report]

ML-1993-20: Chagrova, L.A. and de Jongh, Dick (1993) The Decidability of Dependency in Intuitionistic Propositional Logic. [Report]

ML-1993-14: de Jongh, Dick and Visser, Albert (1993) Embeddings of Heyting Algebras (superseded by ML-1995-06). [Report]

ML-1990-09: de Jongh, Dick and Pianigiani, Duccio (1990) Solution of a Problem of David Guaspari. [Report]

ML-1989-01: de Jongh, Dick and Visser, Albert (1989) Explicit Fixed Points for Interpretability Logic. [Report]

ML-1989-04: de Jongh, Dick and Jumulet, Marc and Montagna, Franco (1989) On the Proof of Solovay's Theorem. [Report]

ML-1989-03: de Jongh, Dick and Montagna, Franco (1989) Rosser Orderings and Free Variables. [Report]

CT-1988-04: de Jongh, Dick and Hendriks, Lex and de Lavalette, Gerard R. Renardel (1988) Computations in Fragments of Intuitionistic Propositional Logic. [Report]

ML-1988-03: de Jongh, Dick and Veltman, Frank (1988) Provability Logics for Relative Interpretability. [Report]

ITLI-1986-05: Bowen, Kenneth A. and de Jongh, Dick (1986) Some Complete Logics for Branched Time, Part I: Well-founded Time, Forward looking Operators. [Report]

PP-2024-02: Nieto-de la Rosa, Francisco Santiago and Ramos-Garcia, Ulises Ariet and Vargas-Sandoval, Ana Lucia and de Jongh, Dick (2024) Extending antichains in the poset of the finite subsets of omega. [Pre-print] (Submitted)

PP-2018-10: de Jongh, Dick and Vargas, Ana Lucia (2018) Finite identification with positive and with complete data. [Pre-print]

PP-2018-09: Bezhanishvili, Nick and Colacito, Almudena and de Jongh, Dick (2018) A Study of Subminimal Logics of Negation and their Modal Companions. [Pre-print] (Submitted)

PP-2018-08: de Jongh, Dick and Maleki, Fatemeh Shirmohammadzadeh (2018) Two Neighborhood Semantics for Subintuitionistic Logics. [Pre-print] (Submitted)