28 found
Order:
  1.  9
    Models for Multiply Modal Systems.M. K. Rennie - 1970 - Mathematical Logic Quarterly 16 (2):175-186.
  2.  47
    On Postulates for Temporal Order.M. K. Rennie - 1969 - The Monist 53 (3):457-468.
    In Prior’s [4], Appendix A §4 and §5, and Chapter IV, and more explicitly in Bull’s [2], we find sequences of tense-logical systems which place increasingly more restrictive conditions on the temporal relation “… is before …”. We give here a simple, diagrammatic account of the way in which the successive postulates for temporal order place these conditions on the temporal relation: we do not provide any essentially new semantics for these systems, nor do we prove any rigorous metatheorems. We (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  21
    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.
  4.  8
    Theory of Procedures. I. Simple Conditionals.M. K. Rennie - 1969 - Notre Dame Journal of Formal Logic 10 (1):97-112.
  5.  14
    Must the Propositions of Arithmetic Be Empirical?R. D. Bradley & M. K. Rennie - 1971 - Noûs 5 (3):253-271.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  6.  8
    A Remark on the Truth-Value Stipulation for the Modal System M'.M. K. Rennie - 1974 - Journal of Symbolic Logic 39 (2):351-351.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7. A Correction to Mackie's Natural Deduction.M. K. Rennie - 1967 - Logique Et Analyse 37:207.
     
    Export citation  
     
    Bookmark  
  8. A Function Which Bounds Truth-Tabular Calculations in S5.M. K. Rennie - 1968 - Logique Et Analyse 11:425.
     
    Export citation  
     
    Bookmark  
  9. Completeness in the Logic of Predicate Modifiers.M. K. Rennie - 1971 - Logique Et Analyse 55:627-643.
     
    Export citation  
     
    Bookmark   2 citations  
  10.  20
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11. Logic: Theory and Practice.M. K. Rennie - 1973 - Brisbane, University of Queensland Press.
  12.  20
    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.
  13.  5
    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.
  14.  17
    On Hare's "Better".M. K. Rennie - 1968 - Noûs 2 (1):75-79.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  15.  7
    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.
  16. RYBAK, J., and RYBAK, J.: "Map Logic and Other Extensions of Traditional Logic". [REVIEW]M. K. Rennie - 1975 - Australasian Journal of Philosophy 53:101.
     
    Export citation  
     
    Bookmark  
  17. RESSWELL, M. J.: "Logics and Languages". [REVIEW]M. K. Rennie - 1974 - Australasian Journal of Philosophy 52:277.
  18. RESCHER, Nicholas: Topics in Philosophical Logic. [REVIEW]M. K. Rennie - 1970 - Australasian Journal of Philosophy 48:153.
    No categories
     
    Export citation  
     
    Bookmark  
  19. Remark on Cresswell on S0. 5.M. K. Rennie - 1971 - Logique Et Analyse 14:757-758.
  20. Semantics for RK1t.M. K. Rennie - 1971 - Journal of Symbolic Logic 36 (1):97 - 107.
  21.  14
    Semantics for $RK^1_t$.M. K. Rennie - 1971 - Journal of Symbolic Logic 36 (1):97-107.
  22.  2
    SCHOCK, Rolf: Logics Without Existence Assumptions. [REVIEW]M. K. Rennie - 1969 - Australasian Journal of Philosophy 47:396.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  24
    S3(s) = S.M. K. Rennie - 1968 - Journal of Symbolic Logic 33 (3):444-445.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  7
    S3(s) = S3.5.M. K. Rennie - 1968 - Journal of Symbolic Logic 33 (3):444 - 445.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  11
    $S3(s) = S3.5$.M. K. Rennie - 1968 - Journal of Symbolic Logic 33 (3):444-445.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  3
    S3 = S3.5.M. K. Rennie - 1968 - Journal of Symbolic Logic 33 (3):444-445.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27. 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.
  28. Two Mistakes About Logic.M. K. Rennie - 1968 - Philosophical Quarterly 18 (73):354-355.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark