19 found
Sort by:
  1. M. K. Rennie (1974). 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] Journal of Symbolic Logic 39 (2):351-351.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. M. K. Rennie (1974). Some Uses of Type Theory in the Analysis of Language. [Canberra,Dept. Of Philosophy, Research School of Social Sciences, Australian National University.
     
    My bibliography  
     
    Export citation  
  3. M. K. Rennie (1973). Logic: Theory and Practice. Brisbane,University of Queensland Press.
     
    My bibliography  
     
    Export citation  
  4. M. K. Rennie (1972). 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] Journal of Symbolic Logic 37 (1):183-184.
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. R. D. Bradley & M. K. Rennie (1971). Must the Propositions of Arithmetic Be Empirical? Noûs 5 (3):253-271.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. M. K. Rennie (1971). Completeness in the Logic of Predicate Modifiers. Logique Et Analyse 55:627-643.
    No categories
     
    My bibliography  
     
    Export citation  
  7. M. K. Rennie (1971). Remark on Cresswell on S0. 5. Logique Et Analyse 14:757-758.
    No categories
     
    My bibliography  
     
    Export citation  
  8. M. K. Rennie (1971). Semantics for RK1t. Journal of Symbolic Logic 36 (1):97 - 107.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. M. K. Rennie (1971). Semantics for $RK^1_t$. Journal of Symbolic Logic 36 (1):97-107.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. M. K. Rennie (1970). Models for Multiply Modal Systems. Mathematical Logic Quarterly 16 (2):175-186.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. M. K. Rennie (1969). Theory of Procedures. I. Simple Conditionals. Notre Dame Journal of Formal Logic 10 (1):97-112.
  12. M. K. Rennie (1969). On Postulates for Temporal Order. The Monist 53 (3):457-468.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  13. M. K. Rennie (1968). A Function Which Bounds Truth-Tabular Calculations in S5. Logique Et Analyse 11:425.
    No categories
     
    My bibliography  
     
    Export citation  
  14. M. K. Rennie (1968). On Hare's "Better". Noûs 2 (1):75-79.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  15. M. K. Rennie (1968). S3(s) = S. Journal of Symbolic Logic 33 (3):444-445.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. M. K. Rennie (1968). S3(s) = S3.5. Journal of Symbolic Logic 33 (3):444 - 445.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. M. K. Rennie (1968). $S3(s) = S3.5$. Journal of Symbolic Logic 33 (3):444-445.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. M. K. Rennie (1968). Two Mistakes About Logic. Philosophical Quarterly 18 (73):354-355.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  19. M. K. Rennie (1967). A Correction to Mackie's Natural Deduction. Logique Et Analyse 37:207.
    No categories
     
    My bibliography  
     
    Export citation