29 found
Order:
  1. Semantics for RK1t.M. K. Rennie - 1971 - Journal of Symbolic Logic 36 (1):97 - 107.
  2. Two Mistakes About Logic.M. K. Rennie - 1968 - Philosophical Quarterly 18 (73):354-355.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  3.  24
    On Postulates for Temporal Order.M. K. Rennie - 1969 - The Monist 53 (3):457-468.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  4. 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.
     
    Export citation  
     
    My bibliography   3 citations  
  5.  21
    S3(s) = S.M. K. Rennie - 1968 - Journal of Symbolic Logic 33 (3):444-445.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6. Logic: Theory and Practice.M. K. Rennie - 1973 - Brisbane, University of Queensland Press.
     
    Export citation  
     
    My bibliography   2 citations  
  7. Remark on Cresswell on S0. 5.M. K. Rennie - 1971 - Logique Et Analyse 14:757-758.
     
    Export citation  
     
    My bibliography   2 citations  
  8.  2
    Models for Multiply Modal Systems.M. K. Rennie - 1970 - Mathematical Logic Quarterly 16 (2):175-186.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  9.  9
    On Hare's "Better".M. K. Rennie - 1968 - Noûs 2 (1):75-79.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  10.  8
    Must the Propositions of Arithmetic Be Empirical?R. D. Bradley & M. K. Rennie - 1971 - Noûs 5 (3):253-271.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  11.  1
    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.
  12.  2
    Review: Gerald J. Massey, The Theory of Truth Tabular Connectives, Both Truth Functional and Modal; Gerald J. Massey, Binary Connectives Functionally Complete by Themselves in S5 Modal Logic. [REVIEW]M. K. Rennie - 1972 - Journal of Symbolic Logic 37 (1):183-184.
  13.  2
    S3(s) = S3.5.M. K. Rennie - 1968 - Journal of Symbolic Logic 33 (3):444 - 445.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14.  1
    SCHOCK, Rolf: Logics Without Existence Assumptions. [REVIEW]M. K. Rennie - 1969 - Australasian Journal of Philosophy 47:396.
    Direct download  
     
    Export citation  
     
    My bibliography  
  15.  1
    Theory of Procedures. I. Simple Conditionals.M. K. Rennie - 1969 - Notre Dame Journal of Formal Logic 10 (1):97-112.
  16.  1
    $S3(s) = S3.5$.M. K. Rennie - 1968 - Journal of Symbolic Logic 33 (3):444-445.
    Translate
      Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  17.  1
    Semantics for $RK^1_t$.M. K. Rennie - 1971 - Journal of Symbolic Logic 36 (1):97-107.
  18. A Correction to Mackie's Natural Deduction.M. K. Rennie - 1967 - Logique Et Analyse 37:207.
     
    Export citation  
     
    My bibliography  
  19. A Function Which Bounds Truth-Tabular Calculations in S5.M. K. Rennie - 1968 - Logique Et Analyse 11:425.
     
    Export citation  
     
    My bibliography  
  20. Completeness in the Logic of Predicate Modifiers.M. K. Rennie - 1971 - Logique Et Analyse 55:627-643.
     
    Export citation  
     
    My bibliography  
  21. Nakamura Akira. 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.Nakamura Akira. On an Axiomatic System of Modal Logic. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik Vol. 14 , Pp. 61–66.Bull R. A.. 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.
  22. 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.
  23. 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  
     
    My bibliography  
  24. RESSWELL, M. J.: "Logics and Languages". [REVIEW]M. K. Rennie - 1974 - Australasian Journal of Philosophy 52:277.
  25. RESCHER, Nicholas: Topics in Philosophical Logic. [REVIEW]M. K. Rennie - 1970 - Australasian Journal of Philosophy 48:153.
    No categories
     
    Export citation  
     
    My bibliography  
  26. S3 = S3.5.M. K. Rennie - 1968 - Journal of Symbolic Logic 33 (3):444-445.
    Direct download  
     
    Export citation  
     
    My bibliography  
  27. Can There Be Random Individuals?Nicholas Rescher, L. Goddard, J. L. Mackie, Robert Price & M. K. Rennie - 1970 - Journal of Symbolic Logic 35 (1):165-166.
    Direct download  
     
    Export citation  
     
    My bibliography  
  28. Note on a System of Aqvist.S3 = S3.5.Krister Segerberg, M. J. Cresswell & M. K. Rennie - 1970 - Journal of Symbolic Logic 35 (1):137.
  29. 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. [REVIEW]William A. Wisdom, Nicholas Rescher, L. Goddard, J. L. Mackie, Robert Price & M. K. Rennie - 1970 - Journal of Symbolic Logic 35 (1):165.