#### Filter Results:

#### Publication Year

1989

2016

#### Co-author

#### Key Phrase

#### Publication Venue

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

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)

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)

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)

In this paper, we define some consequence relations based on supervaluation semantics for partial models, and we investigate their properties. For our main consequence relation, we show that natural versions of the following fail: upwards and downwards Lowenheim–Skolem, axiomatizability, and compactness. We also consider an alternate version for… (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)

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

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)

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)