| 2007 |
|---|
| 9 | EE | Ben Ellison,
Jonathan Fleischmann,
Dan McGinn,
Wim Ruitenburg:
Kripke submodels and universal sentences.
Math. Log. Q. 53(3): 311-320 (2007) |
| 2003 |
|---|
| 8 | EE | Mohammad Ardeshir,
Wim Ruitenburg,
Saeed Salehi:
Intuitionistic axiomatizations for bounded extension Kripke models.
Ann. Pure Appl. Logic 124(1-3): 267-285 (2003) |
| 2001 |
|---|
| 7 | EE | Mohammad Ardeshir,
Wim Ruitenburg:
Basic Propositional Calculus II. Interpolation.
Arch. Math. Log. 40(5): 349-364 (2001) |
| 1999 |
|---|
| 6 | | Wim Ruitenburg:
Basic Logic, K4, and Persistence.
Studia Logica 63(3): 343-352 (1999) |
| 1998 |
|---|
| 5 | | Mohammad Ardeshir,
Wim Ruitenburg:
Basic Propositional Calculus I.
Math. Log. Q. 44: 317-343 (1998) |
| 4 | | Wim Ruitenburg:
Basic Predicate Calculus.
Notre Dame Journal of Formal Logic 39(1): 18-46 (1998) |
| 1991 |
|---|
| 3 | | Wim Ruitenburg:
Inequality in Constructive Mathematics.
Notre Dame Journal of Formal Logic 32(4): 533-553 (1991) |
| 1990 |
|---|
| 2 | | Paul Bankston,
Wim Ruitenburg:
Notions of Relative Ubiquity for Invariant Sets of Relational Structures.
J. Symb. Log. 55(3): 948-986 (1990) |
| 1984 |
|---|
| 1 | | Wim Ruitenburg:
On the Period of Sequences (An(p)) in Intuitionistic Propositional Calculus.
J. Symb. Log. 49(3): 892-899 (1984) |
