Refined common knowledge logics or logics of common information

Тип публикации: статья из журнала

Год издания: 2003

Аннотация: In terms of formal deductive systems and multi-dimensional Kripke frames we study logical operations know, informed, common knowledge and common information. Based on [6] we introduce formal axiomatic systems for common information logics and prove that these systems are sound and complete. Analyzing the common information operation we show that it can be understood as greatest open fixed points for knowledge formulas. Using obtained results we explore monotonicity, omniscience problem, and inward monotonocity, describe their connections and give dividing examples. Also we find algorithms recognizing these properties for some particular cases.

Ссылки на полный текст

Издание

Журнал: Archive for Mathematical Logic

Выпуск журнала: Т.42, 2

Номера страниц: 179-200

ISSN журнала: 09335846

Издатель: Springer-Verlag GmbH

Авторы

  • Rybakov V.V. (Department of Computing and Mathematics, Manchester Metropolitan University, Manchester, UK. e-mail: v.Rybakov@mmu.ac.uk)

Вхождение в базы данных

  • РИНЦ (eLIBRARY.RU) (цитирований 6)
  • Ядро РИНЦ (eLIBRARY.RU)
  • Web of Science Core Collection
  • Scopus

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.