Temporal logic for modeling discovery and logical uncertainty

Babenyshev, Sergey and Rybakov, Vladimir V. (2009) Temporal logic for modeling discovery and logical uncertainty. In: 13th International Conference, KES 2009, 28th September 2009 - 30th September 2009, Santiago, Chile.

File not available for download.

Official URL: https://doi.org/10.1007/978-3-642-04592-9_3

Abstract

he paper investigates a new temporal logic LTLZDU 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 LTLZDU . Our principal result is found algorithm which recognizes theorems of LTLZDU (which implies that LTLZDU is decidable, and the satisfiability problem for LTLZDU is solvable).

Item Type:	Conference or Workshop Item (Paper)
Published Proceedings:	Knowledge-Based and Intelligent Information and Engineering Systems
Number:	5712
Peer-reviewed:	Yes
Date Deposited:	03 Mar 2010 13:37
Publisher:	Springer
Additional Information:	The original publication is available at http://www.springer.com/
Divisions:
URI:	https://e-space.mmu.ac.uk/id/eprint/93486
DOI:	https://doi.org/10.1007/978-3-642-04592-9_3
ISSN	0302-9743
e-ISSN	1611-3349

Impact and Reach

Statistics

DownloadsShow export options

Activity Overview

6 month trend

0Downloads

6 month trend

343Hits

Additional statistics for this dataset are available via IRStats2.

Altmetric

Repository staff only

Edit record