About the Temporal Decrease of Sets Bernhard Heinemann   View Paper (PDF)   Return to Short Papers 3 Abstract This paper is about a simple general framework for modelling decrease. We provide an extension of propositional linear time temporal logic with operators expressing 'next-time' and 'henceforth', by a modality that quantifies over the points of some set X. This set changes in the course of time; actually, X is assumed to shrink little by little. We develop an appropriate logical language, give a sound and complete axiomatization of the set of validities, and prove decidability of this set. Moreover, the computational complexity of the logic is determined. DiSC'02 © 2003 Association for Computing Machinery