Switch to: Citations

Add references

You must login to add references.
  1. Semantical Analysis of Modal Logic II. Non-Normal Modal Propositional Calculi.Saul A. Kripke - 1965 - In J. W. Addison (ed.), The theory of models. Amsterdam,: North-Holland Pub. Co.. pp. 206-20.
  • Trees and nest structures.Raymond M. Smullyan - 1966 - Journal of Symbolic Logic 31 (3):303-321.
  • Analytic natural deduction.Raymond M. Smullyan - 1965 - Journal of Symbolic Logic 30 (2):123-139.
  • Tableau methods of proof for modal logics.Melvin Fitting - 1972 - Notre Dame Journal of Formal Logic 13 (2):237-247.
  • Wynikanie semantyczne a wynikanie formalne.Zbigniew Lis - 1960 - Studia Logica 10 (1):39 - 60.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
  • A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.
  • A Completeness Theorem in Modal Logic.Saul A. Kripke - 1959 - Journal of Symbolic Logic 31 (2):276-277.
    Direct download  
     
    Export citation  
     
    Bookmark   127 citations  
  • Introduction to Non-Classical Logic.Graham Priest - 2001 - Cambridge and New York: Cambridge University Press.
    This is the first introductory textbook on non-classical propositional logics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   127 citations  
  • A Theory of Conditionals.Robert Stalnaker - 1968 - In Nicholas Rescher (ed.), Studies in Logical Theory (American Philosophical Quarterly Monographs 2). Oxford: Blackwell. pp. 98-112.
  • An Introduction to Non-Classical Logic.Graham Priest - 2001 - Bulletin of Symbolic Logic 12 (2):294-295.
     
    Export citation  
     
    Bookmark   193 citations  
  • Untersuchungen über das logische Schließen. I.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 35:176–210.
  • Untersuchungen über das logische Schließen. II.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 39:405–431.
  • Semantics for deontic logic.William H. Hanson - 1965 - Logique Et Analyse 8:177-190.
     
    Export citation  
     
    Bookmark   10 citations  
  • Semantic Entailment and Formal Derivability. [REVIEW]E. W. Beth - 1959 - Sapientia 14 (54):311.
    No categories
     
    Export citation  
     
    Bookmark   44 citations