Switch to: Citations

Add references

You must login to add references.
  1. Some theorems about a “tree” system of deontic tense logic.Lennart Åqvist & Jaap Hoepelman - 1981 - In Risto Hilpinen (ed.), New Studies in Deontic Logic: Norms, Actions, and the Foundations of Ethics. Dordrecht, Netherland: Wiley-Blackwell. pp. 187--221.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Dyadic deontic detachment.Barry Loewer & Marvin Belzer - 1983 - Synthese 54 (2):295 - 318.
  • On the Logic of Deontic Conditionals.Andrew J. I. Jones - 1991 - Ratio Juris 4 (3):355-366.
    Abstract.The paper outlines the approach to the analysis of deontic conditionals taken in earlier work by Jones and Pörn, compares it very briefly with two main trends within dyadic deontic logic, and then discusses problems associated with the augmentation principle and the factual detachment principle. The author then modifies Jones and Pörn's previous system, using a classical but not normal (in the sense of Chellas) deontic modality to provide the basis for an alternative analysis of deontic conditionals. This new analysis (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Ideality, sub-ideality and deontic logic.Andrew J. I. Jones & Ingmar Pörn - 1985 - Synthese 65 (2):275 - 290.
  • Deontic Logic and Legal Knowledge Representation.Andrew J. I. Jones - 1990 - Ratio Juris 3 (2):237-244.
    . The current literature in the Artificial Intelligence and Law field reveals uncertainty concerning the potential role of deontic logic in legal knowledge representation. For instance, the Logic Programming Group at Imperial College has shown that a good deal can be achieved in this area in the absence of explicit representation of the deontic notions. This paper argues that some rather ordinary parts of the law contain structures which, if they are to be represented in logic, will call for use (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic.J. -J. Ch Meyer - 1987 - Notre Dame Journal of Formal Logic 29 (1):109-136.
  • Contrary-to-Duty Imperatives and Deontic Logic.R. M. Chisholm - 1963 - Analysis 24 (2):33-36.
  • An Artificial Intelligence Approach to Legal Reasoning.Anne von der Lieth Gardner - 1980 - MIT Press.
    Law and legal reasoning are a natural target for artificial intelligence systems. Like medical diagnosis and other tasks for expert systems, legal analysis is a matter of interpreting data in terms of higher-level concepts. But in law the data are more like those for a system aimed at understanding natural language: they tell a story about human events that may lead to a lawsuit. Statements of the law, too, are written in natural language and legal arguments are often arguments about (...)
    Direct download  
     
    Export citation  
     
    Bookmark   66 citations  
  • Modal Logic: An Introduction.Brian F. Chellas - 1980 - New York: Cambridge University Press.
    A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. Illustrative chapters focus on deontic logic and conditionality. Modality is a rapidly expanding branch of logic, and familiarity with the subject is now regarded as a necessary part of every philosopher's technical equipment. Chellas here offers an (...)
    Direct download  
     
    Export citation  
     
    Bookmark   435 citations  
  • A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic.J.-J. Ch Meyer - 1987 - Notre Dame Journal of Formal Logic 29 (1):109-136.
  • A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic.J. Ch Meyer - 1988 - Notre Dame Journal of Formal Logic 29:109-136.
     
    Export citation  
     
    Bookmark   41 citations