модальные логики
May. 4th, 2006 12:56 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
hgrhttp://www.logic.ru/Russian/LogStud/08/LS_8_r_Grigoriev.ps.gz
попытка создания индетерминистской логики времени. индетерминизм здесь заключается только в том, что, в отличие от логики времени Прайора, допускается такое предшествование одного события другому, при котором предшествовавшее может не служить причиной последующего. но нам бы надо такую логику времени, чтобы причины событий могли быть как в предшествующие, так и в последующие самим событиям моменты времени и даже сразу там и там (кажется, это логически равносильно тому, что событие может происходить без причины, но само становиться причной для последующих событий...) вот таких, хороших, логик -- никто не разрабатывает, увы.
введение в "спатиотемпоральную" тематику (т.е. в модальные логики пространства и времени как единого целого):
D. GABELAIA, R. KONTCHAKOV, A. KURUCZ, F. WOLTER, M. ZAKHARYASCHEV, Combining spatial and temporal logics: expressiveness vs. complexity // Journal of Artificial Intelligence Research 23 (2005) (to appear?) текст давно есть в сети.
попытка создания индетерминистской логики времени. индетерминизм здесь заключается только в том, что, в отличие от логики времени Прайора, допускается такое предшествование одного события другому, при котором предшествовавшее может не служить причиной последующего. но нам бы надо такую логику времени, чтобы причины событий могли быть как в предшествующие, так и в последующие самим событиям моменты времени и даже сразу там и там (кажется, это логически равносильно тому, что событие может происходить без причины, но само становиться причной для последующих событий...) вот таких, хороших, логик -- никто не разрабатывает, увы.
введение в "спатиотемпоральную" тематику (т.е. в модальные логики пространства и времени как единого целого):
D. GABELAIA, R. KONTCHAKOV, A. KURUCZ, F. WOLTER, M. ZAKHARYASCHEV, Combining spatial and temporal logics: expressiveness vs. complexity // Journal of Artificial Intelligence Research 23 (2005) (to appear?) текст давно есть в сети.
