Order: Listing date First author Impact Pub year Relevance Downloads
Order
Some Uses of Type Theory in the Analysis of Language. M. K. Rennie - 1974 - [Canberra, Dept. Of Philosophy, Research School of Social Sciences, Australian National University. details
Logic: Theory and Practice. M. K. Rennie - 1973 - Brisbane, University of Queensland Press. details
Models for Multiply Modal Systems. M. K. Rennie - 1970 - Mathematical Logic Quarterly 16 (2):175-186. details
Semantics for RK1t. M. K. Rennie - 1971 - Journal of Symbolic Logic 36 (1):97 - 107. details
Completeness in the logic of predicate modifiers. M. K. Rennie - 1971 - Logique Et Analyse 55:627-643. details
Remark on cresswell on S0. 5. M. K. Rennie - 1971 - Logique Et Analyse 14:757-758. details
Two mistakes about logic. M. K. Rennie - 1968 - Philosophical Quarterly 18 (73):354-355. details
Gerald J. Massey. The theory of truth tabular connectives, both truth functional and modal. The journal of symbolic logic, vol. 31 , pp. 593–608. - Gerald J. Massey. Binary connectives functionally complete by themselves in S5 modal logic. The journal of symbolic logic, vol. 32 , pp. 91–92. [REVIEW] M. K. Rennie - 1972 - Journal of Symbolic Logic 37 (1):183-184. details
A correction to Mackie's natural deduction. M. K. Rennie - 1967 - Logique Et Analyse 37:207. details
A function which Bounds truth-tabular calculations in s5. M. K. Rennie - 1968 - Logique Et Analyse 11:425. details
RYBAK, J., and RYBAK, J.: "Map Logic and Other Extensions of Traditional Logic". [REVIEW] M. K. Rennie - 1975 - Australasian Journal of Philosophy 53:101. details
RESSWELL, M. J.: "Logics and Languages". [REVIEW] M. K. Rennie - 1974 - Australasian Journal of Philosophy 52:277. details
RESCHER, Nicholas: Topics in Philosophical Logic. [REVIEW] M. K. Rennie - 1970 - Australasian Journal of Philosophy 48:153. details
S3(s) = S. M. K. Rennie - 1968 - Journal of Symbolic Logic 33 (3):444-445. details
Massey Gerald J.. The theory of truth tabular connectives, both truth functional and modal. M. K. Rennie - 1972 - Journal of Symbolic Logic 37 (1):183-184. details
A Remark on the Truth-Value Stipulation for the Modal System M'. M. K. Rennie - 1974 - Journal of Symbolic Logic 39 (2):351-351. details
Semantics for $RK^1_t$. M. K. Rennie - 1971 - Journal of Symbolic Logic 36 (1):97-107. details
On Postulates for Temporal Order. M. K. Rennie - 1969 - The Monist 53 (3):457-468. details
On Hare's "better". M. K. Rennie - 1968 - Noûs 2 (1):75-79. details
$S3(s) = s3.5$. M. K. Rennie - 1968 - Journal of Symbolic Logic 33 (3):444-445. details
Must the propositions of arithmetic be empirical? R. D. Bradley & M. K. Rennie - 1971 - Noûs 5 (3):253-271. details
Review: Akira Nakamura, A Remark on the Truth-Value Stipulation for the Modal System $M$'; Akira Nakamura, On an Axiomatic System of Modal Logic; R. A. Bull, On a Paper of Akira Nakamura. [REVIEW] M. K. Rennie - 1974 - Journal of Symbolic Logic 39 (2):351-351. details
Can There be Random Individuals?Mr. Rescher on Random Individuals.The Rules of Natural Deduction.The Symbolising of Natural Deduction.Arbitrary Individuals and Natural Deduction.A Correction to Mackie's Natural Deduction. Nicholas Rescher , L. Goddard , J. L. Mackie , Robert Price & M. K. Rennie - 1957 - Journal of Symbolic Logic 35 (1):165-166. details
S3(s) = s3.5. M. K. Rennie - 1968 - Journal of Symbolic Logic 33 (3):444 - 445. details
Akira Nakamura. A remark on the truth-value stipulation for the modal system M′. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 11–14. - Akira Nakamura. On an axiomatic system of modal logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 14 , pp. 61–66. - R. A. Bull. On a paper of Akira Nakamura. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 15 , pp. 155–156. [REVIEW] M. K. Rennie - 1974 - Journal of Symbolic Logic 39 (2):351-351. details
S3 = s3.5. M. K. Rennie - 1968 - Journal of Symbolic Logic 33 (3):444-445. details
SCHOCK, Rolf: Logics Without Existence Assumptions. [REVIEW] M. K. Rennie - 1969 - Australasian Journal of Philosophy 47:396. details
Theory of procedures. I. Simple conditionals. M. K. Rennie - 1969 - Notre Dame Journal of Formal Logic 10 (1):97-112. details
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
RSS feed