We modify the semantics of topological modal logic, a language due to Moss and Parikh. This enables us to study the corresponding theory of further classes of subset spaces. In the paper we deal with spaces where every chain of opens fulfils a certain finiteness condition. We consider both a local finiteness condition relevant to points and a global one concerning the whole frame. Completeness of the appearing logical systems, which turn out to be generalizations of the well-known modal system (...) G, can be obtained in the same manner as in the case of the general subset space logic. It is our main purpose to show that the systems differ with regard to the finite model property. (shrink)

We propose a multi-agent logic of knowledge, public announcements and arbitrary announcements, interpreted on topological spaces in the style of subset space semantics. The arbitrary announcement modality functions similarly to the effort modality in subset space logics, however, it comes with intuitive and semantic differences. We provide axiomatizations for three logics based on this setting, with S5 knowledge modality, and demonstrate their completeness. We moreover consider the weaker axiomatizations of three logics with S4 type of knowledge and prove soundness and (...) completeness results for these systems. (shrink)

We present a modal logic for the class of subset spaces based on discretely descending chains of sets. Apart from the usual modalities for knowledge and effort the standard temporal connectives are included in the underlying language. Our main objective is to prove completeness of a corresponding axiomatization. Furthermore, we show that the system satisfies a certain finite model property and is decidable thus.