We prove that all finitely axiomatizable tense logics with temporal operators for ‘always in the future’ and ‘always in the past’ and determined by linear fows time are coNP-complete. It follows, for example, that all tense logics containing a density axiom of the form ■n+1F p → nF p, for some n ≥ 0, are coNP-complete. Additionally, we prove coNP-completeness of all ∩-irreducible tense logics. As these classes of tense logics contain many Kripke incomplete bimodal logics, we obtain many natural (...) examples of Kripke incomplete normal bimodal logics which are nevertheless coNP-complete. (shrink)

High-spin states in the odd-odd N = Z nucleus Co-54 have been investigated by the fusion-evaporation reaction Si-28(S-32,1 alpha 1p1n)Co-54. Gamma-ray information gathered with the Ge detector array Gammasphere was correlated with evaporated particles detected in the charged particle detector system Microball and a 1 pi neutron detector array. A significantly extended excitation scheme of Co-54 is presented, which includes a candidate for the isospin T = 1, 6(+) state of the 1f(7/2)(-2) multiplet. The results are compared to large-scale shell-model (...) calculations in the fp shell. Effective interactions with and without isospin-breaking terms have been used to probe isospin symmetry and isospin mixing. A quest for deformed high-spin rotational cascades proved negative. This feature is discussed by means of cranking calculations. (shrink)