Categoricity RegainedELLENTUCK E.Journal of Symbolic Logic. 1976, Vol 41, Num 3, pp 639-643Article

On the Complexity of the Theories of Weak Direct PowersRACKOFF C.Journal of Symbolic Logic. 1976, Vol 41, Num 3, pp 561-573Article

ONE HUNDRED AND TWO PROBLEMS IN MATHEMATICAL LOGICFRIEDMAN H.JOURNAL OF SYMBOLIC LOGIC. 1975, Vol 40, Num 2, pp 113-129Article

THE INADEQUACY OF THE NEIGHBOURHOOD SEMANTICS FOR MODAL LOGICGERSON M.JOURNAL OF SYMBOLIC LOGIC. 1975, Vol 40, Num 2, pp 141-148Article

A SEQUENCE OF DECIDABLE FINITELY AXIOMATIZABLE INTERMEDIATE LOGICS WITH THE DISJUNCTION PROPERTYGABBAY D. M; JONGH D. H. J. DE.JOURNAL OF SYMBOLIC LOGIC. 1974, Vol 39, Num 1, pp 67-78Article

IMPLICATIONAL FORMULAS IN INTUITIONISTIC LOGICURQUHART A.JOURNAL OF SYMBOLIC LOGIC. 1974, Vol 39, Num 4, pp 661-664Article

A FINITE ARITHMETICSHEPARD P. T.JOURNAL OF SYMBOLIC LOGIC. 1973, Vol 38, Num 2, pp 232-248Article

CATEGORIES OF FRAMES FOR MODAL LOGICTHOMASON S. K.JOURNAL OF SYMBOLIC LOGIC. 1975, Vol 40, Num 3, pp 439-442Article

A NOTE ON MODAL FORMULAE AND RELATIONAL PROPERTIESVAN BENTHEM J. F. A. K.JOURNAL OF SYMBOLIC LOGIC. 1975, Vol 40, Num 1, pp 55-58Article

LOGICS CONTAINING K4. PART IFINE K.JOURNAL OF SYMBOLIC LOGIC. 1974, Vol 39, Num 1, pp 31-42Article

RELATION OF LESNIEWSKI'S MEREOLOGY TO BOOLEAN ALGEBRACLAY R. E.JOURNAL OF SYMBOLIC LOGIC. 1974, Vol 39, Num 4, pp 638-648Article

AN AXIOMATISATION OF QUANTUM LOGICCLARK I. D.JOURNAL OF SYMBOLIC LOGIC. 1973, Vol 38, Num 3, pp 389-392Article

AXIOM SYSTEMS FOR FIRST ORDER LOGIC WITH FINITELY MANY VARIABLESJOHNSON J. S.JOURNAL OF SYMBOLIC LOGIC. 1973, Vol 38, Num 4, pp 576-578Article

RESEARCH CONFERENCE ON LANGUAGE, INTENTIONALITY, AND TRANSLATION THEORYJOURNAL OF SYMBOLIC LOGIC. 1973, Vol 38, Num 1, 175 p.Article

A-DEGRESS OF A-THEORIESMETAKIDES G.JOURNAL OF SYMBOLIC LOGIC. 1972, Vol 37, Num 4, pp 677-682Article

POST COMPLETENESS IN MODAL LOGICSEGERBERG K.JOURNAL OF SYMBOLIC LOGIC. 1972, Vol 37, Num 4, pp 711-715Article

Another Intuitionistic Completeness ProofDE SWART H.Journal of Symbolic Logic. 1976, Vol 41, Num 3, pp 644-662Article

SETS OF THEOREMS WITH SHORT PROOFSRICHARDSON D.JOURNAL OF SYMBOLIC LOGIC. 1974, Vol 39, Num 2, pp 235-242Article

BETH DEFINABILITY IN INFINITARY LANGUAGESGREGORY J.JOURNAL OF SYMBOLIC LOGIC. 1974, Vol 39, Num 1, pp 22-26Article

NOTE ON DEDUCIBILITY AND MANY-VALUEDNESSWOJCICKI R.JOURNAL OF SYMBOLIC LOGIC. 1974, Vol 39, Num 3, pp 563-566Article

MATHEMATICAL PROBLEMSROBINSON A.JOURNAL OF SYMBOLIC LOGIC. 1973, Vol 38, Num 3, pp 500-516Article

MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC, NEW YORK 1969NERODE A; BARWISE K. J.JOURNAL OF SYMBOLIC LOGIC. 1973, Vol 38, Num 2, pp 348-358Article

THE CHARACTERIZATION OF MONADIC LOGICTHARP L. H.JOURNAL OF SYMBOLIC LOGIC. 1973, Vol 38, Num 3, pp 481-488Article

Approximation Theorems and Model Theoretic ForcingHARNIK V.Journal of Symbolic Logic. 1976, Vol 41, Num 1, pp 59-72Article

Completeness Properties of Heyting's Predicate Calculus with Respect to RE ModelsGABBAY D. M.Journal of Symbolic Logic. 1976, Vol 41, Num 1, pp 81-94Article