Interpretation of Chance Discovery in Temporal Logic, Admissible Inference Rules

摘要

Our 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.