|Articles and journals | Tariffs | Payments | Your profile|
R-I-G constructs for the logics of time
Abstract.The subject of this research is the problem of stopping proof in modal logics, particularly the logics of time. Form consideration, the author selected the logics of tine with the linear transitive and dense time flow. One of the approaches in solution of the task at hand lies in application of the mosaic method, which essence consists in the presence of the finite set of fragments that can be added on towards the infinite model for proving the formula. The mosaic method allows structuring various computations, for example the R-I-G computations, which combines the mosaic method, loop-check procedure, and intuitive clarity of tabular computation. The research applies formalization in terms of describing the time flow, as well as deductive method of structuring the computation. The scientific novelty consists in introduction of an original approach towards solution of the problem of stopping proof within the logics of time. Leaning on the idea of mosaic method, the author suggests the computation of R-I-G constructs, which in virtue of its rules builds the end conclusion. Having complemented the systematic procedure with the saturation rules, an attempt can be made to acquire a saturated set of mosaics that manifests as a proof for the feasibility of formula.
Keywords: problem of stopping proof, Loop-cheak, time flows, Mark Reynolds, Saturated set of mosaics, Temporal Logic, R-I-G-constraction, Calculi, Mosaic Method, analitic tableau
Article was received:21-05-2018
This article written in Russian. You can find full text of article in Russian here .