In the given paper we introduce a system by means of which the increasing of sets in the course of continuous (linear) time can be modelled. The system is based on a bimodal language. It originates from certain logics admitting topological reasoning where shrinking of sets is the subject of investigation, but is ‘dual’ to those in an obvious sense. After the motivating part we examine the system from a logical point of view. Our main results include completeness of a proposed axiomatisation and decidability of the set of validities. The intended applications concern all fields of (spatio-)temporal reasoning. © Springer-Verlag Berlin Heidelberg 1999.
CITATION STYLE
Heinemann, B. (1999). On sets growing continuously. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1738, pp. 420–431). Springer Verlag. https://doi.org/10.1007/3-540-46691-6_34
Mendeley helps you to discover research relevant for your work.