Switch to: References

Add citations

You must login to add citations.
  1. Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization. [REVIEW]Lennart Åqvist - 1996 - Journal of Philosophical Logic 25 (1):45 - 100.
    The paper deals with the problem of axiomatizing a system T1 of discrete tense logic, where one thinks of time as the set Z of all the integers together with the operations +1 ("immediate successor") and-1 ("immediate predecessor"). T1 is like the Segerberg-Sundholm system WI in working with so-called infinitary inference ruldes; on the other hand, it differs from W I with respect to (i) proof-theoretical setting, (ii) presence of past tense operators and a "now" operator, and, most importantly, with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Causation in AI and law.Jos Lehmann, Joost Breuker & Bob Brouwer - 2004 - Artificial Intelligence and Law 12 (4):279-315.
    Reasoning about causation in fact is an essential element of attributing legal responsibility. Therefore, the automation of the attribution of legal responsibility requires a modelling effort aimed at the following: a thorough understanding of the relation between the legal concepts of responsibility and of causation in fact; a thorough understanding of the relation between causation in fact and the common sense concept of causation; and, finally, the specification of an ontology of the concepts that are minimally required for (automatic) common (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Individual Rights and Legal Validity.Martin van Hees - 1996 - Analyse & Kritik 18 (1):81-95.
    The condition of liberty which Sen used in his famous theorem on the impossibility of the Paretian liberal was defined in terms of individual preferences. The preference-based approach has been the subject of much criticism, which led to the evolution of the game-theoretic analysis of rights. In this approach no references to individual preferences are made. Two questions are examined in this paper: how can different types of right be distinguished within a game-theoretic setting, and how do rights come into (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Lennart Åqvist in Memoriam.Åke Frändberg, Risto Hilpinen & Lars Lindahl - 2019 - Theoria 85 (5):345-349.
    Download  
     
    Export citation  
     
    Bookmark