A preference-based semantics for CTD reasoning

In [8] the authors developed a logical system based on the definition of a new non-classical connective ⊗ capturing the notion of reparative obligation. The system proved to be appropriate for handling well-known contrary-to-duty paradoxes but no model-theoretic semantics was presented. In this paper we fill the gap and define a suitable possible-world semantics for the system for which we can prove soundness and completeness. The semantics is a preference-based non-normal one extending and generalizing semantics for classical modal logics.

Oceanographic results during VERTEX particle interceptor trap experiment 17 August to 8 September 1980

This report presents oceanographic data supporting the detailed chemical studies in the VERTEX Particle Interceptor Trap (PIT) experiment off the central California coast. Prior to the deployment of the PITs, an oceanographic survey of the intended study area was made on R/V CAYUSE from 17 to 21 August 1980. During this cruise, twenty CTD stations (Fig. 1) were occupied in a grid centered about the PIT site selected earlier based on archival oceanographic data. During the second leg of the VERTEX experiment from 25 August to 3 September, CTO profiles were taken as time permitted. In addition, a short survey near the PITs was made on 2 September. The intent of the pre-deployment cruise was to obtain data characterizing the vertical and horizontal variability of physical and chemical properties and to map the geostrophic flow field. Toward this end, vertical profiles of salinity, temperature and dissolved oxygen were made using a Plessey 9040 CTOa profiler. Considerable effort was expended to make vertical beam attenuation profiles to