#### Filter Results:

- Full text PDF available (31)

#### Publication Year

1989

2017

- This year (1)
- Last 5 years (16)
- Last 10 years (23)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Philip Kremer, Grigori Mints
- Ann. Pure Appl. Logic
- 2005

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)

- Philip Kremer
- Notre Dame Journal of Formal Logic
- 1993

- Philip Kremer
- Rew. Symb. Logic
- 2013

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)

- Janine K. Kruit, Philip Kremer, +6 authors Melvin R. Hayden
- Diabetologia
- 2010

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)

- Philip Kremer
- J. Symb. Log.
- 1993

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)

- Boris Kment, Karen Bennett, +29 authors Jonathan Shaheen
- 2006

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)

- Philip Kremer
- Rew. Symb. Logic
- 2014

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)

- Philip Kremer
- J. Philosophical Logic
- 1989

- Marjolein Geurts, Malcolm R. Macleod, Rainer Kollmar, Philip Kremer, HB van der Worp
- Critical care medicine
- 2014

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)

- Philip Kremer
- J. Symb. Log.
- 1997

We define a propositionally quantified intuitionistic logic Her+ by a natural extension of Kripke's semantics for propositional intuitionistic logic. We then show that Har+ is recursively isomorphic to full second order classical logic. Her+ is the intuitionistic analogue of the modal systems S57r+, S47r+, S4.27r+, K47r+, Tir+, K7r+ and Bir+, studied by… (More)