Gupta's book [9] contains a theory of modal logic that is closely related to my modal language ML v [2], and his theory is used to treat some interesting philosophical problems. Hence, it is natural for me to review this valuable book and to concentrate on its logics, the more so as its use has already been spoken of and appreciated by Kapitan [10], although I cannot but share his appreciation.

This paper has two parts: Part I is a continuation of the work [10] and as well as this it deals mainly with the logic of an auxiliary (semantical) theory, ST , in effect generally considered (by textbooks) within the semantics for a typical theory T of general relativity; and especially the modal features of this auxiliary theory are studied. Part II deals with the influence had by relativistic theories and especially by the new notion of space-time on pragmatic languages (...) (in Carnap’s sense), so that they include, e.g., „now” and „here”. (shrink)

In [13] M. Urchs comments on my paper [5]. I think these comments are very useful, especially because (on p. 38) the author decides to “proceed with some methodological remarks concerning Bressan’s account and his underlying attitude towards logical formalization in general”, and thus he refers not only to [5].