УПРАВЛЕНИЕ БОЛЬШИМИ СИСТЕМАМИ
на главную написать письмо карта сайта

јвтор:  Kripke S
Ќазвание:  A completeness theorem in modal logic
—татус:  опубликовано
√од:  1959
“ип публикации:  стать€
Ќазвание журнала или конференции:  Journal of Symbolic Logic
Ќомер (том) журнала:  24
ѕолна€ библиографическа€ ссылка:  Kripke S. A completeness theorem in modal logic // Journal of Symbolic Logic. 1959. є 24. P. 1 Ц 14.
ѕредмет управлени€:  »нформированность (информационное управление)
–асширени€ базовой модели:  Ќеопределенность
ћетод моделировани€:  –ефлексивные игры
ѕредметные области и задачи управлени€:  ѕрин€тие решений



ѕросмотров: 4081, загрузок: 0, за мес€ц: 0.

Ќазад

»ѕ” –јЌ © 2007. ¬се права защищены