Mexitl: Multimedia in Executable Interval Temporal Logic

This paper explores a formalism for describing a wide class of multimedia document constraints, based on an interval temporal logic. We describe the requirements on temporal logic specification that arise from the multimedia documents application area. In particular, we highlight a canonical specification example. Then we present the temporal logic formalism that we use. This extends existing interval temporal logic with a number of new features: actions, framing of actions, past operators, a projection-like operator called filter and a new handling of interval length. A model theory, logic and satisfaction relation are defined for the notation, a specification of the canonical example is presented, and a proof system for the logic is introduced

Lack of Capacity: Reforming the Law on Unfitness to Plead

This article examines the new tests proposed for effective participation at trial and ability to plead guilty set out in the recently published Law Commission Report.1 The two new tests aim to replace the current criteria on unfitness to plead developed in M (John)2 and originating from Pritchard.3 While the tests are a welcome development, particular focus will be given to the absence of a diagnostic threshold, which detracts from the quality of otherwise scrupulously drafted proposals. </jats:p

Moral agency and the minimum conditions for criminal responsibility: a critical examination (with particular reference to mental condition defences)

This thesis is concerned with the minimum conditions that must be satisfied to warrant the stigma and consequences of a criminal conviction. First the conduct element of criminal liability is examined and the need for voluntary agency advocated. Attention then turns to minimum capacities for moral reasoning and evaluation required to be morally and legally answerable for one's conduct in the sense that one may be subjected to a criminal trial. Consideration is given to what may be considered justifiable measures in respect of persons who lack minimum capacities for moral reasoning and evaluation sufficient to stand trial but whose conduct is dangerous to others. Finally an examination is made of the insanity defence, the principal mechanism for determining at trial whether a person is sufficiently rational to answer for his conduct. The defence of diminished responsibility is also considered, because of its close link in practical terms with the insanity defence. The law is stated as at 31(^st) October 2001

Errors in certain essentials of English form and usage in grades seven, eight, and nine

Thesis (M.A.)--Boston University, 1936. This item was digitized by the Internet Archive