M. J. Cresswell

30 papers B 1Journal 28

Year	Rank	Type	Title / 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