Dick H. J. de Jongh

Available identifiers

zbMath Open de-jongh.dick-h-jWikidataQ5273594 ScholiaQ5273594MaRDI QIDQ1099163

List of research outcomes

Publication	Date of Publication	Type
A study of subminimal logics of negation and their modal companions	2023-12-01	Paper
Finite identification with positive and with complete data	2023-12-01	Paper
Two neighborhood semantics for subintuitionistic logics	2023-12-01	Paper
IN MEMORIAM: ANNE SJERP TROELSTRA 1939–2019	2021-04-21	Paper
NNIL-formulas revisited: Universal models and finite model property	2021-04-09	Paper
Binary modal companions for subintuitionistic logics	2021-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q5132769	2020-11-12	Paper
Universal models for the positive fragment of intuitionistic logic	2020-01-15	Paper
Subintuitionistic logics with Kripke semantics	2020-01-15	Paper
NNIL-formulas revisited: universal models and finite model property	2019-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q5224694	2019-07-24	Paper
Weak subintuitionistic logics	2019-01-08	Paper
Subintuitionistic logics and the implications they prove	2018-10-08	Paper
Stable formulas in intuitionistic logic	2018-09-19	Paper
Subminimal negation	2018-02-23	Paper
Duality and Universal Models for the Meet-Implication Fragment of IPC	2015-12-03	Paper
Positive Formulas in Intuitionistic and Minimal Logic	2015-12-03	Paper
Logic and Learning	2015-05-11	Paper
Comparing strengths of beliefs explicitly	2013-06-11	Paper
Extendible formulas in two variables in intuitionistic logic	2012-10-01	Paper
Intuitionistic implication without disjunction	2012-06-20	Paper
Jankov’s Theorems for Intermediate Logics in the Setting of Universal Models	2011-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q2998377	2011-05-18	Paper
Intermediate logics and the de Jongh property	2011-03-02	Paper
Interpretability in PRA	2009-11-04	Paper
Unifiability in extensions of K4	2009-05-05	Paper
The Structure of Rigid Frames of Depth 3 Only	2009-04-24	Paper
The Kuznetsov-Gerčiu and Rieger-Nishimura logics	2008-11-10	Paper
Properties of Intuitionistic Provability and Preservativity Logics	2006-03-30	Paper
Characterization of strongly equivalent logic programs in intermediate logics	2004-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q4329232	2002-12-11	Paper
https://portal.mardi4nfdi.de/entity/Q4250049	1999-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q4215636	1999-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q4896508	1997-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q3837730	1997-03-11	Paper
The decidability of dependency in intuitionistic propositional logic	1996-05-02	Paper
https://portal.mardi4nfdi.de/entity/Q4694209	1993-06-29	Paper
Computations in fragments of intuitionistic propositional logic	1992-06-27	Paper
Explicit fixed points in interpretability logic	1992-06-25	Paper
On the proof of Solovay's theorem	1992-06-25	Paper
Rosser orderings and free variables	1992-06-25	Paper
Much Shorter Proofs	1989-01-01	Paper
Provable Fixed Points	1988-01-01	Paper
A simplification of a completeness proof of Guaspari and Solovay	1987-01-01	Paper
Generic generalized Rosser fixed points	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3338239	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3936721	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3874266	1977-01-01	Paper
Kripke models and the intuitionistic theory of species	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4053624	1974-01-01	Paper
A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5631083	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5614644	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5509710	1966-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dick H. J. de Jongh