M. J. Cresswell

30 papers B 1Journal 28
YearRankTypeTitle / Venue / Authors
2016 J jnl
Prior on the semantics of modal and tense logic.
Synth.
M. J. Cresswell
2013 J jnl
Predicate Metric Tense Logic for 'Now' and 'Then'.
J. Philos. Log.
M. J. Cresswell
2010 J jnl
Temporal Reference in Linear Tense Logic.
J. Philos. Log.
M. J. Cresswell
2004 J jnl
Possibility Semantics for Intuitionistic Logic.
Australas. J. Log.
M. J. Cresswell
1998 B conf
How to Complete Some Modal Predicate Logics.
Advances in Modal Logic
M. J. Cresswell
1996 — book
Semantic indexicality.
M. J. Cresswell
1995 J jnl
Incompleteness and the Barcan formula.
J. Philos. Log.
M. J. Cresswell
1990 J jnl
Modality and Mellor's McTaggart.
Stud Logica
M. J. Cresswell
1988 J jnl
Necessity and contingency.
Stud Logica
M. J. Cresswell
1987 J jnl
Magari's theorem via the recession frame.
J. Philos. Log.
M. J. Cresswell
1986 J jnl
Why objects exist but events occur.
Stud Logica
M. J. Cresswell
1985 J jnl
The decidable normal modal logics are not recursively enumerable.
J. Philos. Log.
M. J. Cresswell
1984 J jnl
An Incomplete Decidable Modal Logic.
J. Symb. Log.
M. J. Cresswell
1983 J jnl
KM and the finite model property.
Notre Dame J. Formal Log.
M. J. Cresswell
1983 J jnl
Meeting of the Association for Symbolic Logic: Wellington, New Zealand, 1981.
J. Symb. Log.
Wilfred G. Malcolm, M. J. Cresswell
1981 J jnl
Meeting of the Association for Symbolic Logic: Hamilton, New Zealand, 1979.
J. Symb. Log.
Wilfred G. Malcolm, M. J. Cresswell
1980 J jnl
Quotational theories of propositional attitudes.
J. Philos. Log.
M. J. Cresswell
1975 J jnl
Note of the use of sequences in
Notre Dame J. Formal Log.
M. J. Cresswell
1972 J jnl
Intensional logics and logical truth.
J. Philos. Log.
M. J. Cresswell
1972 J jnl
The completeness of S1 and some related systems.
Notre Dame J. Formal Log.
M. J. Cresswell
1969 J jnl
A Conjunctive Normal Form For S3.5.
J. Symb. Log.
M. J. Cresswell
1969 J jnl
The Elimination of De Re Modalities.
J. Symb. Log.
M. J. Cresswell
1968 J jnl
Completeness without the Barcan formula.
Notre Dame J. Formal Log.
M. J. Cresswell
1968 J jnl
Some proofs of relative completeness in modal logic.
Notre Dame J. Formal Log.
M. J. Cresswell
1967 J jnl
A Henkin completeness for T.
Notre Dame J. Formal Log.
M. J. Cresswell
1967 J jnl
Alternative completeness theorems for modal systems.
Notre Dame J. Formal Log.
M. J. Cresswell
1967 J jnl
Meeting of the Association for Symbolic Logic.
J. Symb. Log.
H. A. Schmidt, K. Schutte, Ernst-Jochen Thiele, M. J. Cresswell
1967 J jnl
Note on a System of Aqvist.
J. Symb. Log.
M. J. Cresswell
1966 J jnl
Functions of Propositions.
J. Symb. Log.
M. J. Cresswell
1965 J jnl
On the Logic of Incomplete Answers.
J. Symb. Log.
M. J. Cresswell