On Binary Computation Structures

Based on a modification of Moss' and Parikh's topological modal language [8], we study a generalization of a weakly expressive fragment of a certain propositional modal logic of time. We define a bimodal logic comprising operators for knowledge and nexttime. These operators are interpreted in binary computation structures. We present an axiomatization of the set T of theorems valid for this class of semantical domains and prove – as the main result of this paper – its completeness. Moreover, the question of decidability of T is treated.     

The CeO(2)(+) Cation: Gas-Phase Reactivity and Electronic Structure

"Bare" CeO(2)(+) ions can be prepared in the gas phase by consecutive oxidation of Ce(+) with O(2) and NO(2). The ability to activate saturated and unsaturated hydrocarbons is investigated by use of Fourier-transform ion cyclotron resonance mass spectrometry. In the reactions of CeO(2)(+) with linear and branched alkanes C-H bond activation is observed almost exclusively. In contrast, both oxygen-atom transfer and C-H bond activation processes occur when thermalized CeO(2)(+) cations react with simple alkenes and aromatic compounds. C-C bond activation is not observed at all. Insight into the structural and electronic properties of neutral CeO(2) and cationic CeO(2)(+) is provided by means of quasirelativistic density-functional and ab initio pseudopotential calculations. They reveal a (2)Sigma(u)(+) ground state for CeO(2)(+) which is best described as a linear cerium dioxide with a resonating pi bond. Finally, we discuss the influence of oxo ligands on the chemistry of the cationic CeO(n)()(+) (n = 0-2) species toward hydrocarbons.     

Stille Cross‐Coupling of a Racemic Planar‐Chiral Ferrocene and Crystallographic Trace Analysis of Catalysis Intermediates and By‐products

A pressure‐controlled procedure for the S_N1 reaction of rac‐1‐[(dimethylamino)methyl]‐2‐(tributylstannyl)ferrocene ( 1 ) to rac‐1‐(phthalimidomethyl)‐2‐(tributylstannyl)ferrocene ( 2 ) was developed. Pd⁰‐Catalyzed Stille coupling of 2 with iodobenzene afforded rac‐1‐phenyl‐2‐(N‐phthalimidomethyl)ferrocene ( 5 ) in 74% yield; after trace enrichment by crystallization of the combined mother liquors, one single crystal of each, 5 , catalysis intermediate trans‐iodo(σ‐phenyl)bis(triphenylarsino)palladium(II) ( 7 ), trans‐diiodobis(triphenylarsino)palladium(II) ( 8 ), and rac‐2,2′‐bis(phthalimidomethyl)‐1,1′‐biferrocene ( 9 ) could be isolated by crystal sorting under a microscope and characterized by X‐ray crystal structure analysis. Furthermore, 5 was deprotected to amine ( 11 ), which does even survive the Birch reduction to rac‐1‐(aminomethyl)‐2‐(cyclohexa‐2,5‐dienyl)ferrocene ( 12 ).     

Synthesis, structure, and dynamics of six-membered metallacoronands and metallodendrimers of iron and indium

In the reaction of the N-substituted diethanolamines (H(2)L(1-3)) (1-3) with calcium hydride followed by addition of iron(III) or indium(III) chloride, the iron wheels [Fe(6)Cl(6)(L(1))(6)] (4) and [Fe(6)Cl(6)(L(2))(6)] (6) or indium wheels [In(6)Cl(6)(L(1))(6)] (5), [In(6)Cl(6)(L(2))(6)] (8) and [In(6)Cl(6)(L(3))(6)] (9) were formed in excellent yields. Exchange of the chloride ions of 6 by thiocyanate ions afforded [Fe(6)(SCN)(6)(L(2))(6)] (7). Whereas the structures of 4, 5 and 7 were determined unequivocally by single-crystal X-ray analyses, complexes 8 and 9 were characterised by NMR spectroscopy. Contrary to what is normally presumed, the scaffolds of six-membered metallic wheels are not generally rigid, but rather undergo nondissociative topomerisation processes. This was shown by variable temperature (VT) (1)H NMR spectroscopy for the indium wheel [In(6)Cl(6)(L(1))(6)] (5) and is highlighted for the enantiotopomerisation of one indium centre [ 1/6[S(6)-5]<==>[1/6[S(6)-5']]. The self-assembly of metallic wheels, starting from diethanolamine dendrons, is an efficient strategy for the convergent synthesis of metallodendrimers.     

Synthesen von α,β-ungesättigten 2-(2-Oxo-benzazolin-3-yl)-3-hydroxy-dithio-carbonsäure-alkylestern und entsprechend substituierten Keten-S,S-acetalen sowie deren Kristall- und Molekülstruktur

Summary The new alkyl 2-(2-oxo-benzazoline-3-yl)-3-hydroxy dithiocrotonates and dithiocinnamates4 and the corresponding ketene dithioacetals2 and5 are obtained by dithiocarboxylation of the 3-acceptormethyl substituted benzazoline-2-ones1 or3. Alkylation at room temperature gives compounds4 whereas at higher alkylation temperature2 or5 are formed. The results of X-ray analyses performed for methyl 3-hydroxy-p-chloro-dithiocinnamate4d and of N-[1-(4-chloro-benzoyl)-2,2-bis(methylthio)-vinyl]-benzothiazoline-2-one5e are discussed.

     

Visible light induced reversible extrusion of nitric oxide from a ruthenium(II) nitrosyl complex: a facile delivery of nitric oxide

The new ruthenium compound [Ru(NO)(pysiS4)]Br (3) (pysiS4 = 2,6-bis(3-triphenylsilyl-2-sulfanylphenylthiomethyl)pyridine), containing sterically bulky SiPh3 groups ortho to the thiolate donors, has been synthesized. In solution, 3 releases NO efficiently on exposure to visible light (lambda >/= 455 nm) at room temperature to afford [Ru(Br)(pysiS4)] (4). Treatment of 4 with NO yielded exclusively 3 without any metal-bound side reaction.