Bishop Gregory (hgr) wrote,
Bishop Gregory
hgr

модальные логики

http://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?) текст давно есть в сети.
Subscribe

Recent Posts from This Journal

  • Post a new comment

    Error

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 2 comments