This paper proposes a framework for formalising intuitions about the behaviour of imperative commands. It seeks to capture notions of satisfaction and coherence. Rules are proposed to express key aspects of the general logical behaviour of imperative constructions. A key objective is for the framework to allow patterns of behaviour to be described while avoiding making any commitments about how commands, and their satisfaction criteria, are to be interpreted. We consider the status of some conundrums of imperative logic in the (...) context of this proposal. (shrink)

Les juges créent-ils du droit ? Eros Roberto Grau, avocat, ancien professeur à la prestigieuse Faculté de droit de l’Université de São Paulo et ancien membre de la Cour suprême brésilienne de 2004 à 2010, aurait sans aucun doute pu faire un livre inaccessible sur cette question, tant son parcours, ses forts engagements et ses réflexions prolifiques l’y autorisent.Sa biographie est en particulier disponible en brésilien sur le site de la Cour suprême brésilienne et sur son site personnel . Mais (...) le présent ouvrage édité par Carlos Miguel Herrera, « texte de combat » selon son préfacier Antoine Jeammaud, est une invitation à mieux découvrir l’approche critique du droit défendue par l’auteur sous l’angle d’une théorie réaliste de l’interprétation aussi habile qu’originale. Classiquement, selon cette dernière, on ne le sait que trop bien, le droit n’est pas à considérer c .. (shrink)

The paper outlines ongoing research on logic-based tools for the analysis and representation of legal contracts, of the kind frequently encountered in large-scale engineering projects and complex, long-term trading agreements. We consider both contract formation and contract performance, in each case identifying the representational issues and the prospects for providing automated support tools.