We stand with Ukraine  

M. J. Cresswell

Affiliations:
  • Victoria University of Wellington, Wellington, New Zealand
  • University of Auckland, Department of Philosophy, Auckland, New Zealand (former)
  • Texas A&M University, College Station, Texas, USA (former)
  • Victoria University of Manchester, Manchester, UK (former, PhD 1964)


According to our database1, M. J. Cresswell authored at least 36 papers between 1965 and 2020.

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Revisiting McKinsey's 'Syntactical' Construction of Modality.
[BibTeX]
[DOI]
Max J. Cresswell
Australas. J. Log., 2020

2016
Prior on the semantics of modal and tense logic.
[BibTeX]
[DOI]
M. J. Cresswell
Synth., 2016

Worlds and Models in Bayart and Carnap.
[BibTeX]
[DOI]
Max J. Cresswell
Australas. J. Log., 2016

2014
The Completeness of Carnap's Predicate Logic.
[BibTeX]
[DOI]
Max J. Cresswell
Australas. J. Log., 2014

2013
Axiomatising the Prior Future in Predicate Logic.
[BibTeX]
[DOI]
Max J. Cresswell
Logica Universalis, 2013

Predicate Metric Tense Logic for 'Now' and 'Then'.
[BibTeX]
[DOI]
M. J. Cresswell
J. Philos. Log., 2013

2010
Temporal Reference in Linear Tense Logic.
[BibTeX]
[DOI]
M. J. Cresswell
J. Philos. Log., 2010

2009
Non-Denumerable Infinitary Modal Logic.
[BibTeX]
[DOI]
Max J. Cresswell
J. Univers. Comput. Sci., 2009

2006
From Modal Discourse to Possible Worlds.
[BibTeX]
[DOI]
Maxwell J. Cresswell
Stud Logica, 2006

2004
Possibility Semantics for Intuitionistic Logic.
[BibTeX]
[DOI]
M. J. Cresswell
Australas. J. Log., 2004

1998
How to Complete Some Modal Predicate Logics.
[BibTeX]
M. J. Cresswell
Proceedings of the Advances in Modal Logic 2, 1998

1996
Semantic indexicality.
[BibTeX]
M. J. Cresswell
Studies in linguistics and philosophy 60, Kluwer, ISBN: 978-0-7923-3914-4, 1996

1995
Incompleteness and the Barcan formula.
[BibTeX]
[DOI]
M. J. Cresswell
J. Philos. Log., 1995

1990
Modality and Mellor's McTaggart.
[BibTeX]
[DOI]
M. J. Cresswell
Stud Logica, 1990

1988
Necessity and contingency.
[BibTeX]
[DOI]
M. J. Cresswell
Stud Logica, 1988

1987
Magari's theorem via the recession frame.
[BibTeX]
[DOI]
M. J. Cresswell
J. Philos. Log., 1987

1986
Why objects exist but events occur.
[BibTeX]
[DOI]
M. J. Cresswell
Stud Logica, 1986

1985
The decidable normal modal logics are not recursively enumerable.
[BibTeX]
[DOI]
M. J. Cresswell
J. Philos. Log., 1985

1984
An Incomplete Decidable Modal Logic.
[BibTeX]
[DOI]
M. J. Cresswell
J. Symb. Log., 1984

1983
KM and the finite model property.
[BibTeX]
[DOI]
M. J. Cresswell
Notre Dame J. Formal Log., 1983

Meeting of the Association for Symbolic Logic: Wellington, New Zealand, 1981.
[BibTeX]
[DOI]
Wilfred G. Malcolm
,
M. J. Cresswell
J. Symb. Log., 1983

1981
Meeting of the Association for Symbolic Logic: Hamilton, New Zealand, 1979.
[BibTeX]
[DOI]
Wilfred G. Malcolm
,
M. J. Cresswell
J. Symb. Log., 1981

1980
Quotational theories of propositional attitudes.
[BibTeX]
[DOI]
M. J. Cresswell
J. Philos. Log., 1980

1975
Note of the use of sequences in <i>Logics and languages</i> (Methuen, London, 1973).
[BibTeX]
[DOI]
M. J. Cresswell
Notre Dame J. Formal Log., 1975

1972
The completeness of S1 and some related systems.
[BibTeX]
[DOI]
M. J. Cresswell
Notre Dame J. Formal Log., 1972

Intensional logics and logical truth.
[BibTeX]
[DOI]
M. J. Cresswell
J. Philos. Log., 1972

1969
The Elimination of De Re Modalities.
[BibTeX]
[DOI]
M. J. Cresswell
J. Symb. Log., 1969

A Conjunctive Normal Form For S3.5.
[BibTeX]
[DOI]
M. J. Cresswell
J. Symb. Log., 1969

1968
Completeness without the Barcan formula.
[BibTeX]
[DOI]
M. J. Cresswell
Notre Dame J. Formal Log., 1968

Some proofs of relative completeness in modal logic.
[BibTeX]
[DOI]
M. J. Cresswell
Notre Dame J. Formal Log., 1968

1967
Alternative completeness theorems for modal systems.
[BibTeX]
[DOI]
M. J. Cresswell
Notre Dame J. Formal Log., 1967

A Henkin completeness for T.
[BibTeX]
[DOI]
M. J. Cresswell
Notre Dame J. Formal Log., 1967

Meeting of the Association for Symbolic Logic.
[BibTeX]
[DOI]
H. A. Schmidt
,
K. Schutte
,
Ernst-Jochen Thiele
,
M. J. Cresswell
J. Symb. Log., 1967

Note on a System of Aqvist.
[BibTeX]
[DOI]
M. J. Cresswell
J. Symb. Log., 1967

1966
Functions of Propositions.
[BibTeX]
[DOI]
M. J. Cresswell
J. Symb. Log., 1966

1965
On the Logic of Incomplete Answers.
[BibTeX]
[DOI]
M. J. Cresswell
J. Symb. Log., 1965


  Loading...