Decidability of quantified propositional intuitionistic logic and S4 on trees

Quantified propositional intuitionistic logic is obtained from propositional intuitionistic logic by adding quantifiers \forall p, \exists p over propositions. In the context of Kripke semantics, a proposition is a subset of the worlds in a model structure which is upward closed. Kremer (1997) has shown that the quantified propositional intuitionistic logic H\pi+ based on the class of all partial orders is recursively isomorphic to full second-order logic. He raised the question of whether the logic resulting from restriction to trees is axiomatizable. It is shown that it is, in fact, decidable. The methods used can also be used to establish the decidability of modal S4 with propositional quantification on similar types of Kripke structures.Comment: v2, 9 pages, corrections and additions; v1 8 page

Specific Heat of the Ca-Intercalated Graphite Superconductor CaC6_6

The superconducting state of Ca-intercalated graphite CaC6 has been investigated by specific heat measurements. The characteristic anomaly at the superconducting transition (Tc = 11.4 K) indicates clearly the bulk nature of the superconductivity. The temperature and magnetic field dependence of the electronic specific heat are consistent with a fully-gapped superconducting order parameter. The estimated electron-phonon coupling constant is lambda = 0.60 - 0.74 suggesting that the relatively high Tc of CaC6 can be explained within the weak-coupling BCS approach.Comment: 4 pages, 4 figs, submitted to Phys. Rev. Let

Evolution of transport properties of BaFe2-xRuxAs2 in a wide range of isovalent Ru substitution

The effects of isovalent Ru substitution at the Fe sites of BaFe2-xRuxAs2 are investigated by measuring resistivity and Hall coefficient on high-quality single crystals in a wide range of doping (0 < x < 1.4). Ru substitution weakens the antiferromagnetic (AFM) order, inducing superconductivity for relatively high doping level of 0.4 < x < 0.9. Near the AFM phase boundary, the transport properties show non-Fermi-liquid-like behaviors with a linear-temperature dependence of resistivity and a strong temperature dependence of Hall coefficient with a sign change. Upon higher doping, however, both of them recover conventional Fermi-liquid behaviors. Strong doping dependence of Hall coefficient together with a small magnetoresistance suggest that the anomalous transport properties can be explained in terms of anisotropic charge carrier scattering due to interband AFM fluctuations rather than a conventional multi-band scenario.Comment: 7 pages, 6 figures, submitted to Phys. Rev.