Switch to: Citations

Add references

You must login to add references.
  1. Semantic Analyses for Dyadic Deontic Logic.David K. Lewis - 1974 - In Stig Kanger & Sören Stenlund (eds.), Logical theory and semantic analysis: essays dedicated to Stig Kanger on his fiftieth birthday. Boston: Reidel. pp. 1-14.
     
    Export citation  
     
    Bookmark   55 citations  
  • Introduction to Deontic Logic and the Theory of Normative Systems.Lennart Åqvist - 1987 - Napoli, Italy: Humanities Press.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Deontic logic.G. H. von Wright - 1951 - Mind 60 (237):1-15.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   162 citations  
  • Deontic Logic.G. H. von Wright - 1952 - Journal of Symbolic Logic 17 (2):140-140.
    Direct download  
     
    Export citation  
     
    Bookmark   72 citations  
  • Trees and nest structures.Raymond M. Smullyan - 1966 - Journal of Symbolic Logic 31 (3):303-321.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  • Analytic natural deduction.Raymond M. Smullyan - 1965 - Journal of Symbolic Logic 30 (2):123-139.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  • Counterfactuals and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (1):71-91.
    The purpose of this paper is to develop a class of semantic tableau systems for some counterfactual logics. All in all I will discuss 1024 systems. Possible world semantics is used to interpret our formal languages. Soundness results are obtained for every tableau system and completeness results for a large subclass of these.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • The paradoxes of derived obligation.A. N. Prior - 1954 - Mind 63 (249):64-65.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  • Tableau methods of proof for modal logics.Melvin Fitting - 1972 - Notre Dame Journal of Formal Logic 13 (2):237-247.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   31 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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   264 citations  
  • A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   272 citations  
  • A Completeness Theorem in Modal Logic.Saul A. Kripke - 1959 - Journal of Symbolic Logic 31 (2):276-277.
    Direct download  
     
    Export citation  
     
    Bookmark   124 citations  
  • An analysis of some deontic logics.Bengt Hansson - 1969 - Noûs 3 (4):373-398.
    $28.18 used   (collection)    View on Amazon.com
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   100 citations  
  • Contrary-to-Duty Imperatives and Deontic Logic.R. M. Chisholm - 1963 - Analysis 24 (2):33-36.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   120 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.
    $19.99 used   $22.38 new    View on Amazon.com
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   126 citations  
  • An Introduction to Non-Classical Logic.Graham Priest - 2001 - Bulletin of Symbolic Logic 12 (2):294-295.
     
    Export citation  
     
    Bookmark   196 citations