We give a necessary and sufficient condition for any modal logic with fmp to inherit all inference rules admissible in S4. Using this condition we describe all tabular modal logics inheriting inference rules admissible for S4.

Complement receptor 3 (CR3, CD11b/CD18) is a major macrophage phagocytic receptor. The biochemical pathways through which CR3 regulates immunologic responses have not been fully characterized. Francisella tularensis is a remarkably infectious, facultative intracellular pathogen of macrophages that causes tularemia. Early evasion of the host immune response contributes to the virulence of F. tul...

The voltage sensor of the sodium channel is mainly comprised of four positively charged S4 segments. Depolarization causes an outward movement of S4 segments, and this movement is coupled with opening of the channel. A mutation that substitutes a cysteine for the outermost arginine in the S4 segment of the second domain (D2:R1C) results in a channel with biophysical properties similar to those ...

Compound S4 is a novel nonsteroidal selective androgen receptor modulator (SARM) that demonstrates tissue-selective androgenic and anabolic effects. The purpose of this in vitro study was to identify the phase I metabolites, potential species differences in metabolism, and the cytochrome P450s (CYPs) involved in the phase I metabolism of S4 using C-S4, recombinant CYPs and other liver enzyme pr...

The citrulline ureidase (CTU) activity has been shown to be associated with highly virulent Francisella tularensis strains, including Schu S4, while it is absent in avirulent or less virulent strains. A definitive role of the ctu gene in virulence and pathogenesis of F. tularensis Schu S4 has not been assessed; thus, an understanding of the significance of this phenotype is long overdue. CTU is...

Carbonic anhydrase IX (CAIX) is a tumor-specific protein that is upregulated during hypoxic conditions where it is involved in maintaining the pH balance. CAIX causes extracellular acidification, thereby limiting the uptake of weak basic chemotherapeutic agents, such as doxorubicin, and decreasing its efficacy. The aim of this study was to determine if doxorubicin efficacy can be increased when...

Voltage-gated calcium channels contain four highly conserved transmembrane helices known as S4 segments that exhibit a positively charged residue every third position, and play the role of voltage sensing. Nonetheless, the activation range between high-voltage (HVA) and low-voltage (LVA) activated calcium channels is around 30-40 mV apart, despite the high level of amino acid similarity within ...

The hERG channel has a relatively slow activation process but an extremely fast and voltage-sensitive inactivation process. Direct measurement of hERG's gating current (Piper, D.R., A. Varghese, M.C. Sanguinetti, and M. Tristani-Firouzi. 2003. PNAS. 100:10534-10539) reveals two kinetic components of gating charge transfer that may originate from two channel domains. This study is designed to ad...

Fast and slow inactivation (FI, SI) of the voltage-gated Na+ channel are two kinetically distinct and structurally dissociated processes. The voltage sensor IV/S4 and the intracellular IV/S4-S5 loop have been shown to play an important role in FI mediating the coupling between activation and inactivation. Two mutations in IV/S4-S5 of the human muscle Na+ channel, L1482C/A, disrupt FI by inducin...