Philip Kremer

Learn More
Dynamic Topological Logic provides a context for studying the confluence of the topological semantics for S4, based on topological spaces rather than Kripke frames; topological dynamics; and temporal logic. In the topological semantics for S4, 2 is interpreted as topological interior: thus S4 can be understood as the logic of topological spaces. Topological(More)
In the topological semantics for modal logic, S4 is well-known to be complete for the rational line, for the real line, and for Cantor space: these are special cases of S4’s completeness for any dense-in-itself metric space. The construction used to prove completeness can be slightly amended to show that S4 is not only complete, but also strongly complete,(More)
Cellular cholesterol accumulation is an emerging mechanism for beta cell dysfunction in type 2 diabetes. Absence of the cholesterol transporter ATP-binding cassette transporter A1 (ABCA1) results in increased islet cholesterol and impaired insulin secretion, indicating that impaired cholesterol efflux leads to beta cell dysfunction. In this study, we aimed(More)
Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you(More)
Although the expression ̳metaphysical necessity‘ is a technical term of analytic philosophy, I think that non-philosophers usually either have an inchoate, implicit grasp of the concept expressed by it, or can at least very easily be gotten to cotton on when the concept is explained to them, even if they are not given an explicit definition. When presenting(More)
In the topological semantics for propositional modal logic, S4 is known to be complete for the class of all topological spaces, for the rational line, for Cantor space, and for the real line. In the topological semantics for quantified modal logic, QS4 is known to be complete for the class of all topological spaces, and for the family of subspaces of the(More)
OBJECTIVE Observational studies suggest that infections are a common complication of therapeutic hypothermia. We performed a systematic review and meta-analysis of randomized trials to examine the risk of infections in patients treated with hypothermia. DATA SOURCES PubMed, Embase, and the Cochrane Central Register of Controlled Trials were systematically(More)