| 1985 | ||
|---|---|---|
| 3 | C. G. McKay: A Consistent Propositional Logic Without any Finite Models. J. Symb. Log. 50(1): 38-41 (1985) | |
| 1971 | ||
| 2 | C. G. McKay: A Class of Decidable Intermediate Propositional Logics. J. Symb. Log. 36(1): 127-128 (1971) | |
| 1968 | ||
| 1 | C. G. McKay: The Decidability of Certain Intermediate Propositional Logics. J. Symb. Log. 33(2): 258-264 (1968) | |