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… (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… (More)

www.ccmjournal.org 231 Objective: Observational studies suggest that infections are a common complication of therapeutic hypothermia. We performed a systematic review and meta-analysis of randomized… (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… (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… (More)

In The Revision Theory of Truth (MIT Press), Gupta and Belnap (1993) claim as an advantage of their approach to truth “its consequence that truth behaves like an ordinary classical concept under… (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… (More)

In ‘The Logical Structure of Linguistic Commitment I” (The Journal of Philovophicul Logic 23 (1994). 369400), we sketch a linguistic theory (inspired by Brandom’s Making it Explicit) which includes… (More)