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 Profiling Observations from the MOCE-3 Cruise: 27 October to 15 November 1994

This report contains results from the third cruise of the Marine Optical Characterization Experiment (Fig. 1). A variety of spectroradiometric observations of the upper water column and atmosphere were made by investigators from the University of Miami, NOAA, CHORS and MLML. Data presented here were obtained by oceanographic CTD profiler: salinity, temperatllre, dissolved oxygen, beam attenuation and chlorophyll-a fluorescence; and by water samplers: total suspended matter and suspended organic carbon and nitrogen, salinity, and dissolved oxygen.