The paper investigates a new temporal logic combining operations of the linear temporal logic LTL, the operation for discovery and operation for logical uncertainty. Our main aim is to construct a logical framework for modeling logical laws connecting temporal operations and operations of discovery and uncertainty. We consider questions of satisfiability and decidability for. Our principal result is found algorithm which recognizes theorems of (which implies that is decidable, and the satisfiability problem for is solvable). © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Babenyshev, S., & Rybakov, V. V. (2009). Temporal logic for modeling discovery and logical uncertainty. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5712 LNAI, pp. 16–23). https://doi.org/10.1007/978-3-642-04592-9_3
Mendeley helps you to discover research relevant for your work.