Abstract
Our paper studies1 a special temporal logic T LZ DU combining operations of the linear temporal logic LTL, tDhUe operation for discovery (variations of chance discovery – CD) and operation for logical uncertainty. We distinguish local and global discovery in the temporal logic approach. Main aim of our paper is to construct a logical framework for modeling logical laws connecting chance discovery (CD), temporal logical operations and the logical operation of uncertainty. We aim to solve questions of satisfiability and decidability for T LZ DU. Our principal result is found algorithm which checks if any given formula is true in T LZ DU (which implies that T LZ DU is decidable, and the satisfiability problem for T LZ DU is solvable). We also enumerate several interesting open problems within suggested technique.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
