A sound and complete reified temporal logic

There are mainly two known approaches to the representation of temporal information in Computer Science: modal logic approaches (including tense logics and hybrid temporal logics) and predicate logic approaches (including temporal argument methods and reified temporal logics). On one hand, while tense logics, hybrid temporal logics and temporal argument methods enjoy formal theoretical foundations, their expressiveness has been criticised as not power enough for representing general temporal knowledge; on the other hand, although current reified temporal logics provide greater expressive power, most of them lack of complete and sound axiomatic theories. In this paper, we propose a new reified temporal logic with a clear syntax and semantics in terms of a sound and complete axiomatic formalism which retains all the expressive power of the approach of temporal reification.

Non-Markovian decoherence: complete positivity and decomposition

In this work, the non-Markovian decoherence is considered in two ways. Firstly, an effective Hamiltonian approach is demonstrated to investigate the decoherence of a quantum system in a non-Markovian environment, in which complete positivity of the reduced dynamics is achieved. This method uses the notion of an effective environment, that is a subsystem of the environment that causes the decoherence. Secondly, the evolution of the system and environment is decomposed, thus partially illuminating how they would interact given that memory effects are allowed. It should be noted that beam splitters and rotators are sufficient to explain this decomposition.

How well do elderly people complete individualised quality of life measures: an exploratory study.

This research note describes and discusses a study which investigated the feasibility of using an individualised approach to measure the quality of life (QoL) of a sample of older people who were in receipt of an early hospital discharge service. Most participants (86%) were able to identify areas of their lives which were important to them, rate their level of functioning on each of these areas and rank their life areas in order of importance. However, 39% were unable to quantify the relative importance of each area of life. Indeed, the majority (57%) of participants who were over 75 years old could not complete this “weighting” or evaluative stage. The results suggest that the phenomenological approach to measuring QoL may be employed successfully with older people but that the “weighting” system used by existing individualised QoL measures needs to be refined, especially when assessing people over 75.

Complete conditions for entanglement transfer

We investigate the conditions to entangle two qubits interacting with local environments driven by a continuous-variable correlated field. We find the conditions to transfer the entanglement from the driving field to the qubits both in dynamical and steady-state cases. We see how the quantum correlations initially present in the driving field play a critical role in the entanglement-transfer process. The system we treat is general enough to be adapted to different physical setups.

The Complete Works of John Milton: Volume III: The Shorter Poems (816pp.)

Volume III of the new eleven-volume edition of Milton's Complete Works provides a definitive scholarly edition of all of Milton's shorter poems in English, Latin, Italian, and Greek, as well as his Mask, taken from both published and manuscript sources. It includes his 1645 Poems complete with all prefatory materials, thus illuminating the ways in which author, publisher, and print shop shaped this volume. It then presents all the new poems added in the 1673 edition (with the new Table of Contents), as well as the poems omitted from both editions. A careful collation of textual variants among these sources as well as the 1637 anonymous publication of Milton's Mask is provided. The Bridgewater manuscript of Milton's Mask (probably close to the acting version) and his working copy from the Trinity Manuscript, with its many alterations and additions, are transcribed in their entirety, so that the various versions may be compared and studied. 

A special feature of this edition is a new translation of Milton's many Latin and Greek poems that is both accurate and attentive to their literary qualities. This is augmented by a detailed and comprehensive commentary that highlights classical, vernacular, and neo-Latin parallels. A poetic translation of Milton's six Italian sonnets and Canzone is also supplied. In addition, the Appendices contain all the versions of Milton's shorter poems in all the contemporary manuscript and printed sources, so they may be examined in relation to their specific contexts. The transcription of all the versions of Milton's poems in the Trinity Manuscript allows in several cases, notably 'Lycidas' and 'At a Solemn Music,' for examination of the evolution of these poems as Milton weighed choiced of diction and sound qualities, enabling further understanding of his poetic practices. 

Barbara Lewalski is responsible for text, textual apparatus, and commentary pertaining to the vernacular poems in all sections of this edition including the appendices, and manuscript transcriptions (with the exception of A Maske), as well as the Occasions, Vernacular Poems,and Textual Introductions. Estelle Haan is responsible for text, textual apparatus, and commentary for the Poemata in all sections of this edition,and for the Poemata Introduction. She has also provided all translations from Latin, Italian, and Greek in the Testimonia, Poemata, and associated commentary, and transcriptions of the BL Damon, the Bodleian AdJoannem Rousium, and A Maske from the Trinity and Bridgewater manuscripts. Andrew McNeillie has provided poetic translations for Milton’s Italian sonnets, and Jason Rosenblatt has provided some Hebrew text and commentary pertaining to Milton’s Psalm translations.John Cunningham has transcribed Henry Lawes’ music for Milton’s masque, with commentary (Appendix E). Biblical references are taken from the King James (Authorized) Version.