Approximations of modal logics: K and beyond

Inspired by the recent work on approximations of classical logic, we present a method that approximates several modal logics in a modular way. Our starting point is the limitation of the n-degree of introspection that is allowed, thus generating modal n-logics. The semantics for n-logics is presented, in which formulas are evaluated with respect to paths, and not possible worlds. A tableau-based proof system is presented, n-SST, and soundness and completeness is shown for the approximation of modal logics K, T, D, S4 and S5. (c) 2008 Published by Elsevier B.V.

On the Relaxation Mechanisms of 6-Azauracil

The nonadiabatic photochemistry of 6-azauracil has been studied by means of the CASPT2//CASSCF protocol and double-zeta plus polarization ANO basis sets. Minimum energy states, transition states, minimum energy paths, and surface intersections have been computed in order to obtain an accurate description of several potential energy hypersurfaces. It is concluded that, after absorption of ultraviolet radiation (248 nm), two main relaxation mechanisms may occur, via which the lowest (3)(pi pi*) state can be populated. The first one takes place via a conical intersection involving the bright (1)(pi pi*) and the lowest (1)(n pi*) states, ((1)pi pi*/(1)n pi*)(CI), from which a low energy singlet-triplet crossing, ((1)n pi*/(3)pi pi*)(STC), connecting the (1)(n pi*) state to the lowest (3)(pi pi*) triplet state is accessible. The second mechanism arises via a singlet-triplet crossing, ((1)pi pi*/(3)n pi*)(STC), leading to a conical intersection in the triplet manifold, ((3)n pi*/(3)pi pi*)(CI), evolving to the lowest (3)(pi pi*) state. Further radiationless decay to the ground state is possible through a (gs/(3)pi pi*)(STC).