On the Logic of Incomplete Answers. - M. J. Cresswell (J. Symb. Log., 1965)

Functions of Propositions. - M. J. Cresswell (J. Symb. Log., 1966)

Note on a System of Aqvist. - M. J. Cresswell (J. Symb. Log., 1967)

Meeting of the Association for Symbolic Logic. - H. A. Schmidt; K. Schutte; Ernst-Jochen Thiele; M. J. Cresswell (J. Symb. Log., 1967)

A Henkin completeness for T. - M. J. Cresswell (Notre Dame J. Formal Log., 1967)

Alternative completeness theorems for modal systems. - M. J. Cresswell (Notre Dame J. Formal Log., 1967)

Some proofs of relative completeness in modal logic. - M. J. Cresswell (Notre Dame J. Formal Log., 1968)

Completeness without the Barcan formula. - M. J. Cresswell (Notre Dame J. Formal Log., 1968)

A Conjunctive Normal Form For S3.5. - M. J. Cresswell (J. Symb. Log., 1969)

The Elimination of De Re Modalities. - M. J. Cresswell (J. Symb. Log., 1969)

Intensional logics and logical truth. - M. J. Cresswell (J. Philos. Log., 1972)

The completeness of S1 and some related systems. - M. J. Cresswell (Notre Dame J. Formal Log., 1972)

Note of the use of sequences in Logics and languages (Methuen, London, 1973). - M. J. Cresswell (Notre Dame J. Formal Log., 1975)

Quotational theories of propositional attitudes. - M. J. Cresswell (J. Philos. Log., 1980)

Meeting of the Association for Symbolic Logic: Hamilton, New Zealand, 1979. - Wilfred G. Malcolm; M. J. Cresswell (J. Symb. Log., 1981)

Meeting of the Association for Symbolic Logic: Wellington, New Zealand, 1981. - Wilfred G. Malcolm; M. J. Cresswell (J. Symb. Log., 1983)

KM and the finite model property. - M. J. Cresswell (Notre Dame J. Formal Log., 1983)

An Incomplete Decidable Modal Logic. - M. J. Cresswell (J. Symb. Log., 1984)

The decidable normal modal logics are not recursively enumerable. - M. J. Cresswell (J. Philos. Log., 1985)

Why objects exist but events occur. - M. J. Cresswell (Stud Logica, 1986)

Magari's theorem via the recession frame. - M. J. Cresswell (J. Philos. Log., 1987)

Necessity and contingency. - M. J. Cresswell (Stud Logica, 1988)

Modality and Mellor's McTaggart. - M. J. Cresswell (Stud Logica, 1990)

Incompleteness and the Barcan formula. - M. J. Cresswell (J. Philos. Log., 1995)

Semantic indexicality. - M. J. Cresswell (Kluwer, 1996)

How to Complete Some Modal Predicate Logics. - M. J. Cresswell (Advances in Modal Logic, 1998)

Possibility Semantics for Intuitionistic Logic. - M. J. Cresswell (Australas. J. Log., 2004)

From Modal Discourse to Possible Worlds. - Maxwell J. Cresswell (Stud Logica, 2006)

Non-Denumerable Infinitary Modal Logic. - Max J. Cresswell (J. Univers. Comput. Sci., 2009)

Temporal Reference in Linear Tense Logic. - M. J. Cresswell (J. Philos. Log., 2010)

Predicate Metric Tense Logic for 'Now' and 'Then'. - M. J. Cresswell (J. Philos. Log., 2013)

Axiomatising the Prior Future in Predicate Logic. - Max J. Cresswell (Logica Universalis, 2013)

The Completeness of Carnap's Predicate Logic. - Max J. Cresswell (Australas. J. Log., 2014)

Worlds and Models in Bayart and Carnap. - Max J. Cresswell (Australas. J. Log., 2016)

Prior on the semantics of modal and tense logic. - M. J. Cresswell (Synth., 2016)

Revisiting McKinsey's 'Syntactical' Construction of Modality. - Max J. Cresswell (Australas. J. Log., 2020)