Главная Новости Оформление статьи Архив Авторы Поиск Вход
Номера
2019: 1
2018: 1 2 3 4 5 6
2017: 1 2 3 4 5 6
2016: 1 2 3 4 5 6
2015: 1 2 3 4 5 6
2014: 1 2 3 4 5 6
2013: 1 2 3 4 5 6
2012: 1 2 3 4 5 6
2011: 1 2 3 4 5 6
2010: 1 2 3 4 5 6
2009: 1 2 3 4 5 6
2008: 1 2 3 4 5 6
2007: 1 2 3 4 5 6
2006: 1 2 3 4 5 6
2005: 1 2 3 4 5 6
2004: 1 2 3 4 5 6
2003: 1 2 3 4 5 6
2002: 1 2 3 4 5 6
2001: 1 2 3 4 5 6
2000: 1 2 3 4 5 6
1999: 1 2 3 4 5 6
1998: 1 2 3 4 5 6
1997: 1 2 3 4 5 6
1996: 1 2 3 4 5 6
1995: 1 2 3 4 5 6
1994: 1 2 3 4 5 6
1993: 1 2 3 4 5 6

СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ

Лукьянчук А. Н., Римацкий В. В. Аксиоматизация линейной логики знания и времени $LTK_r$ с интранзитивным отношением времени // Том 54 (2013), Номер 6, стр. 1304–1314 
Исследуется вопрос аксиоматизации линейной много-модальной
пропозициональной логики знания и времени $LTK_r$ с рефлексивным и интранзитивным
отношением времени. Логика определяется семантически как множество формул, истинных на
фреймах специального вида. $LTK_r$-фреймы представляют собой линейные цепочки сгустков,
связанных рефлексивным и интранзитивным отношением $R_T$, имитирующим время. Элементы
внутри сгустка связаны несколькими отношениями эквивалентности, имитирующими знания
различных агентов. Основным результатом работы является доказательство того, что предложенный
авторами конечный набор формул есть аксиоматизация логики $LTK_r$ с рефлексивным и
интранзитивным отношением времени.
© Сибирский Математический Журнал, 2003-2006