e-space
Manchester Metropolitan University's Research Repository

Logic of discovery in uncertain situations – deciding algorithms

Rybakov, Vladimir V. (2007) Logic of discovery in uncertain situations – deciding algorithms. ISSN 1611-3349

Full text not available from this repository.

Abstract

We study a logic LDU (logic of Discovery in Uncertain Situations) generated in a semantic way as the set of all formulas valid in Kripke/Hintikka models, which are models of linear discrete time with time clusters imitating possible uncertain states. The possibility of discovery and uncertain necessity of discovery are modeled by modal operations. The logic LDU differs from all standard normal and non-normal modal logics because the modalities ate not mutually expressible in standard way. We discuss properties of this logic, i.e. study its fragments, compare LDU with well known modal logics and study the main question about decidability of this logic. We propose an algorithm recognizing theorems of LDU (so we show that LDU is decidable), which is based on verification of validity of special normal reduced forms of rules in models of quadratic polynomial size in the testing rules.

Impact and Reach

Statistics

Downloads
Activity Overview
0Downloads
153Hits

Additional statistics for this dataset are available via IRStats2.

Altmetric

Actions (login required)

Edit Item Edit Item