One Way to Determine the Intervals in Hybrid Temporal Logic

Main Article Content

E. F. Karavaev

Аннотация

This presentation discusses the opportunity of improvement of technical means of hybrid temporal logic through the introduction of time intervals. In the procedure of constructing intervals the author of the presentation follows ideas and development expressed and carried out by A.A. Markov in his article published in 1932. So the ‘Priorean paradigm’ of understanding of the logic (temporal qualification of judgments and the idea of hybrid logic) is complemented by a building of time metric based on the relation ‘earlier than’. It seems that the described improvement of the machinery of temporal logic allows, in particular, to perfect the approaches to the modelling of planning and strategic management.


DOI: 10.21146/2074-1472-2017-23-1-48-56

Скачивания

Данные скачивания пока не доступны.

Article Details

Как цитировать
[1]
E. F. Karavaev. One Way to Determine the Intervals in Hybrid Temporal Logic // Логические исследования / Logical Investigations. 2017. Т. 23. № 1.
.
Раздел
Неклассические логики