M. J. Cresswell

Publication Activity (10 Years)

Years Active: 1965-2016
Publications (10 Years): 1

Top Topics

Classical Logic

Sound And Complete Axiomatization

Logical Framework

Fixed Point Semantics

Top Venues

J. Philos. Log.

Publications

M. J. Cresswell
Prior on the semantics of modal and tense logic. Synth. 193 (11) (2016)
M. J. Cresswell
Predicate Metric Tense Logic for 'Now' and 'Then'. J. Philos. Log. 42 (1) (2013)
M. J. Cresswell
Temporal Reference in Linear Tense Logic. J. Philos. Log. 39 (2) (2010)
M. J. Cresswell
Non-Denumerable Infinitary Modal Logic. J. Univers. Comput. Sci. 15 (1) (2009)
M. J. Cresswell
How to Complete Some Modal Predicate Logics. Advances in Modal Logic (1998)
M. J. Cresswell
Modality and Mellor's McTaggart. Stud Logica 49 (2) (1990)
M. J. Cresswell
Necessity and contingency. Stud Logica 47 (2) (1988)
M. J. Cresswell
Why objects exist but events occur. Stud Logica 45 (4) (1986)
M. J. Cresswell
An Incomplete Decidable Modal Logic. J. Symb. Log. 49 (2) (1984)
Wilfred G. Malcolm, M. J. Cresswell
Meeting of the Association for Symbolic Logic: Wellington, New Zealand, 1981. J. Symb. Log. 48 (2) (1983)
M. J. Cresswell
KM and the finite model property. Notre Dame J. Formal Log. 24 (3) (1983)
Wilfred G. Malcolm, M. J. Cresswell
Meeting of the Association for Symbolic Logic: Hamilton, New Zealand, 1979. J. Symb. Log. 46 (1) (1981)
M. J. Cresswell
The Elimination of De Re Modalities. J. Symb. Log. 34 (3) (1969)
M. J. Cresswell
A Conjunctive Normal Form For S3.5. J. Symb. Log. 34 (2) (1969)
H. A. Schmidt, K. Schutte, Ernst-Jochen Thiele, M. J. Cresswell
Meeting of the Association for Symbolic Logic. J. Symb. Log. 32 (4) (1967)
M. J. Cresswell
Note on a System of Aqvist. J. Symb. Log. 32 (1) (1967)
M. J. Cresswell
Alternative completeness theorems for modal systems. Notre Dame J. Formal Log. 8 (4) (1967)
M. J. Cresswell
Functions of Propositions. J. Symb. Log. 31 (4) (1966)
M. J. Cresswell
On the Logic of Incomplete Answers. J. Symb. Log. 30 (1) (1965)