#### Filter Results:

#### Publication Year

1989

2017

#### Publication Type

#### Co-author

#### Publication Venue

#### 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 topolog-ical semantics for S4, 2 is interpreted as topological interior: thus S4 can be understood as the logic of topological spaces.… (More)

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

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 may use content in the JSTOR archive only for your personal, non-commercial use. Each copy of any part of a JSTOR transmission must contain the same copyright notice that… (More)

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

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 may use content in the JSTOR archive only for your personal, non-commercial use. Each copy of any part of a JSTOR transmission must contain the same copyright notice that… (More)

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

Anil Gupta and Nuel Belnap's The Revision Theory of Truth presents revision theoretic systems of circular definitions. Part I of the present paper shows that the revision theories S # and S* are not axiomatis-able. Part II refines this result. Among other things, Part II shows that there is a strong relationship between revision theories and the theory of… (More)

- Philip Kremer, Michael Kremer
- J. Philosophical Logic
- 2003

- Philip Kremer
- Ann. Pure Appl. Logic
- 2009

- 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)

- Philip Kremer
- Arch. Math. Log.
- 2006

Let L be a propositional language with standard Boolean connec-tives plus two modalities: an S4-ish topological modality and a temporal modality , understood as 'next'. We extend the topological semantic for S4 to a semantics for the language L by interpreting L in dynamic topological systems, i.e. ordered pairs X, f , where X is a topological space and f… (More)

- Mark Lance, Philip Kremer
- J. Philosophical Logic
- 1994

'Entailment' can be said in many ways. In the present paper, we sketch a linguistic theory which motivates taking 'A entails B' to mean 'commitment to A is, in part, commitment to B', and we present four formal systems designed to capture this concept. These four systems turn out (somewhat surprisingly) to be the strict implicational fragments of the modal… (More)

- Philip Kremer
- Arch. Math. Log.
- 2010

Let L • be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality • , understood as 'next'. We extend the topological semantic for S4 to a semantics for the language L • by interpreting L • in dynamic topological systems, i.e., ordered pairs X, f , where X is a topological space… (More)