Vladimir Rybakov
Department of Computing and Mathematics, Manchester Metropolitan University, UK

Our previous paper suggests a possible treatment of Chance Discovery (CD) via interpretation in temporal logic. We propose a sematic definition for computation CD-operations and consider the resulting logic. The main result of the paper is a necessary condition for rules to be admissible in considered logics.