Dick De Jongh - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 36 from 36

2021

NNIL-formulas revisited: Universal models and finite model propertyJulia Ilin, Dick De Jongh, Fan Yang 0004. logcom, 31(2):573-596, 2021. [doi]

2020

IN MEMORIAM: ANNE SJERP TROELSTRA 1939-2019Dick De Jongh, Joan Rand Moschovakis. bsl, 26(3-4):293-295, 2020. [doi]

2018

Stable Formulas in Intuitionistic LogicNick Bezhanishvili, Dick De Jongh. ndjfl, 59(3):307-324, 2018. [doi]

2017

2015

Universal Models for the Positive Fragment of Intuitionistic LogicNick Bezhanishvili, Dick De Jongh, Apostolos Tzimoulis, Zhiguang Zhao. tbillc 2017: 229-250 [doi]

Subintuitionistic Logics with Kripke SemanticsDick De Jongh, Fatemeh Shirmohammadzadeh Maleki. tbillc 2017: 333-354 [doi]

2014

Logic and LearningNina Gierasimczuk, Vincent F. Hendricks, Dick De Jongh. In Alexandru Baltag, Sonja Smets, editors, Johan van Benthem on Logic and Information Dynamics. pages 267-288, Springer, 2014. [doi]

2013

2012

Extendible Formulas in Two Variables in Intuitionistic LogicNick Bezhanishvili, Dick De Jongh. sLogica, 100(1-2):61-89, 2012. [doi]

Intuitionistic implication without disjunctionGerard R. Renardel de Lavalette, Alex Hendriks, Dick De Jongh. logcom, 22(3):375-404, 2012. [doi]

2011

Intermediate Logics and the de Jongh propertyDick De Jongh, Rineke Verbrugge, Albert Visser. AML, 50(1-2):197-213, 2011. [doi]

2009

2007

The Structure of Rigid Frames of Depth 3 OnlyTahsin Oner, Dick De Jongh. tbillc 2009: 16-22 [doi]

2005

Properties of Intuitionistic Provability and Preservativity LogicsRosalie Iemhoff, Dick De Jongh, Chunlai Zhou. igpl, 13(6):615-636, 2005. [doi]

2003

Characterization of strongly equivalent logic programs in intermediate logicsDick De Jongh, Lex Hendriks. tplp, 3(3):259-270, 2003.

1998

Interpolation, Definability and Fixed Points in Interpretability LogicsCarlos Areces, Eva Hoogland, Dick De Jongh. aiml 2000: 35-58

1997

Formal Learning TheoryDaniel N. Osherson, Dick De Jongh, Eric Martin 0002, Scott Weinstein. In Johan van Benthem, Alice ter Meulen, editors, Handbook of Logic and Language. pages 737-775, North Holland / Elsevier, 1997. [doi]

1996

Angluin s Theorem for Indexed Families of r.e. Sets and ApplicationsDick De Jongh, Makoto Kanazawa. colt 1996: 193-204 [doi]

1995

The Decidability of Dependency in Intuitionistic Propositional LogicDick De Jongh, L. A. Chagrova. JSYML, 60(2):498-504, 1995.

1991

Computations in Fragments of Intuitionistic Propositional LogicDick De Jongh, Lex Hendriks, Gerard R. Renardel de Lavalette. JAR, 7(4):537-561, 1991.

Rosser orderings and free variablesDick De Jongh, Franco Montagna. sLogica, 50(1):71-80, 1991. [doi]

On the proof of Solovay's theoremDick De Jongh, Marc Jumelet, Franco Montagna. sLogica, 50(1):51-69, 1991. [doi]

Explicit Fixed Points in Interpretability LogicDick De Jongh, Albert Visser. sLogica, 50(1):39-49, 1991. [doi]

1989

Much Shorter ProofsDick De Jongh, Franco Montagna. mlq, 35(3):247-260, 1989. [doi]

1988

Provable Fixed PointsDick De Jongh, Franco Montagna. mlq, 34(3):229-250, 1988. [doi]

1974

A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction PropertyDov M. Gabbay, Dick De Jongh. JSYML, 39(1):67-78, 1974.

Sign in or sign up to see more results.

runs on WebDSL