Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge ; Мультиагентная временная логика с операциями статистического знания агентов

Authors: Rybakov, Vladimir V., Рыбаков, Владимир В.

Subject Terms: temporal logic, multi-agency, non-classical logics, information, knowledge representation, deciding algorithms, decidability, computability, временная логика, мультиагентность, неклассические логики, информация, представление знаний, разрешающие алгоритмы, разрешимость, выполнимость

Relation: Журнал Сибирского федерального университета. Математика и физика, 2021. Journal of Siberian Federal University. Mathematics & Physics, 2022, 15 (1)

Availability: https://elib.sfu-kras.ru/handle/2311/144955
https://doi.org/10.17516/1997-1397-2022-15-1-114-124

Satisfiability in a Temporal Multi-valueted Logic Based on Z ; Выполнимость во временной логике с мультиозначиванием, основанной на Z

Authors: Kiyatkin, Vladimir R., Kosheleva, Anna V., Кияткин, Владимир Р., Кошелева, Анна В.

Subject Terms: temporal logic, multi-agent logic, epistemic modal logic, multi-valueted logic, satisfiability, decidability in logic, knowledge representation and reasoning, multi-agent systems, временная логика, мультиозначивание, логика знаний, мультиагентная логика, проблема выполнимости в логике, разрешающие алгоритмы, представления знаний, мультиагентные системы

Relation: Журнал Сибирского федерального университета. Математика и физика, 2021. Journal of Siberian Federal University. Mathematics & Physics, 2022, 15 (1)

Availability: https://elib.sfu-kras.ru/handle/2311/144947
https://doi.org/10.17516/1997-1397-2022-15-1-56-74

Projective formulas and unification in linear discrete temporal multi-agent logics

Contributors: Институт математики и фундаментальной информатики, Кафедра алгебры и математической логики

Subject Terms: пассивные правила вывода, агентные отношения, модальная временная логика, унификация, 27.03.19, проективные формулы

Access URL: https://openrepository.ru/article?id=454328
http://elib.sfu-kras.ru/handle/2311/70282

ДЕТЕРМИНИЗМ И ЕГО ВЛИЯНИЕ НА ВРЕМЕННЫЕ ОНТОЛОГИИ

Subject Terms: ВРЕМЕННЫЕ ОНТОЛОГИИ, ПРОБЛЕМА СВОБОДЫ ВОЛИ, ТРЕХТОЧЕЧНАЯ СТРУКТУРА ВРЕМЕНИ, МОДЕЛИ ВРЕМЕНИ, ПАРАДОКС МАКТАГГАРТА, ВЕТВЯЩЕЕСЯ ВРЕМЯ, ЛОГИЧЕСКИЙ ДЕТЕРМИНИЗМ, ДЕТЕРМИНИЗМ, ВРЕМЕННАЯ ЛОГИКА

ЛОГИЧЕСКАЯ ПРОГРАММА ИССЛЕДОВАНИЯ СВОЙСТВ ВРЕМЕНИ

Authors: Малюкова, О.

Subject Terms: ФЕНОМЕН ВРЕМЕНИ,ВРЕМЕННАЯ ЛОГИКА,СВОЙСТВА ВРЕМЕНИ,ИЗМЕРЕНИЕ ВРЕМЕНИ

File Description: text/html

Availability: http://cyberleninka.ru/article/n/logicheskaya-programma-issledovaniya-svoystv-vremeni
http://cyberleninka.ru/article_covers/14491512.png

Логическая программа исследования свойств времени

Authors: Малюкова, О. В.

Subject Terms: философия, онтология, время, темпоральность, временная логика, свойства времени, измерение времени

Relation: http://dspace.bsu.edu.ru/handle/123456789/52927

Availability: http://dspace.bsu.edu.ru/handle/123456789/52927

Логическая программа исследования свойств времени

Authors: Малюкова, О. В.

Subject Terms: философия, онтология, время, темпоральность, временная логика, свойства времени, измерение времени

Relation: http://dspace.bsu.edu.ru/handle/123456789/12003; Научные ведомости БелГУ. Сер. Философия. Социология. Право.; 48; 55

Availability: http://dspace.bsu.edu.ru/handle/123456789/12003

Моделирование динамических предметных областей в онтологиях ; Моделювання динамічних предметних областей в онтологіях ; Modeling dynamic universes of discource in ontologies

Authors: Н.Г. Кеберле, N.G. Keberle

Source: Збірник наукових праць Харківського національного університету Повітряних Сил. — 2009. — № 3(21). 121-127 ; Сборник научных трудов Харьковского национального университета Воздушных Сил. — 2009. — № 3(21). 121-127 ; Scientific Works of Kharkiv National Air Force University. — 2009. — № 3(21). 121-127 ; 2073-7378

Subject Terms: Кібернетика та системний аналіз, УДК 004.82:510.643:519.688, модель динамической предметной области, онтология предметной области, временная логика, логический вывод, модель динамічної предметної області, онтологія предметної області, темпоральна логіка, логічний вивід, model of dynamic universe of discourse, domain ontology, temporal logic, logical reasonong

File Description: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/3983/zhups_2009_3_30.pdf; http://www.hups.mil.gov.ua/periodic-app/article/3983

Availability: http://www.hups.mil.gov.ua/periodic-app/article/3983

АВТОМАТИЗАЦИЯ АНАЛИЗА СИТУАЦИЙ ВЗАИМНЫХ БЛОКИРОВОК ОПЕРАЦИОННЫХ СИСТЕМ

Authors: Ушаков, К.

Subject Terms: ВАЛИДАЦИЯ, ВЗАИМНЫЕ БЛОКИРОВКИ, ОПЕРАЦИОННЫЕ СИСТЕМЫ, ВРЕМЕННАЯ ЛОГИКА, ПРОВЕРКА МОДЕЛЕЙ, ВЕРИФИКАЦИЯ

File Description: text/html

Availability: http://cyberleninka.ru/article/n/avtomatizatsiya-analiza-situatsiy-vzaimnyh-blokirovok-operatsionnyh-sistem
http://cyberleninka.ru/article_covers/10993492.png

ТИПОЛОГИЯ ГЛАГОЛЬНЫХ ПРЕДИКАТОВ ВЕНДЛЕРА-КЕННИ

Authors: Шапчиц, Павел

Subject Terms: ЛОГИКА ГРАММАТИЧЕСКИХ ВРЕМЁН, ВРЕМЕННАЯ ЛОГИКА, ТИПОЛОГИЯ ГЛАГОЛЬНЫХ ПРЕДИКАТОВ, ИНТЕРВАЛ, СОСТОЯНИЕ, ДЕЙСТВИЕ, ПРОЦЕСС

File Description: text/html

Availability: http://cyberleninka.ru/article/n/tipologiya-glagolnyh-predikatov-vendlera-kenni
http://cyberleninka.ru/article_covers/14610457.png

ВЫРАЗИТЕЛЬНЫЕ ВОЗМОЖНОСТИ МОДАЛЬНЫХ И ВРЕМЕННЫХ ЛОГИЧЕСКИХ ЯЗЫКОВ

Authors: Гончарко, Оксана

Subject Terms: МОДАЛЬНАЯ ЛОГИКА, ВРЕМЕННАЯ ЛОГИКА, ВЫРАЗИТЕЛЬНЫЕ ВОЗМОЖНОСТИ ЛОГИЧЕСКИХ ЯЗЫКОВ, БИСИМУЛЯЦИЯ, ВРЕМЕНА ГЛАГОЛА, МОДАЛЬНОСТЬ, ВРЕМЯ

File Description: text/html

Availability: http://cyberleninka.ru/article/n/vyrazitelnye-vozmozhnosti-modalnyh-i-vremennyh-logicheskih-yazykov
http://cyberleninka.ru/article_covers/14601112.png

К вопросу философии перевода прозаического текста как семиотического явления

Source: Известия Томского политехнического университета

Subject Terms: уровни, художественные произведения, прозаические тексты, межлитературная рецепция, повествование, русская культура, философия, оригиналы, внутренние факторы, семиотические явления, переводы, пространственная логика, западная культура, временная логика, внешние факторы, семиотические проблемы

File Description: application/pdf

Access URL: http://earchive.tpu.ru/handle/11683/333

К вопросу философии перевода прозаического текста как семиотического явления

Authors: Николаенко, Нина Александровна

Source: Известия Томского политехнического университета

Subject Terms: философия, переводы, прозаические тексты, семиотические явления, семиотические проблемы, русская культура, западная культура, художественные произведения, межлитературная рецепция, оригиналы, внешние факторы, внутренние факторы, временная логика, пространственная логика, повествование, уровни

File Description: application/pdf

Relation: Известия Томского политехнического университета [Известия ТПУ]. 2004. Т. 307, № 3; http://earchive.tpu.ru/handle/11683/333

Availability: http://earchive.tpu.ru/handle/11683/333

Разрешимость многомодальной линейной логики знания и времени LTK

Authors: Lukyanchuk, Alexandra N.

Subject Terms: epistemic logic, multi-modal logic, temporal logic, многомодальная логика, decidability, линейная временная логика, effective finite model property, разрешимость, эффективная финитная аппроксимируемость

Access URL: https://openrepository.ru/article?id=267555

Логическая программа исследования свойств времени

Source: Научные ведомости Белгородского государственного университета. Серия: Философия. Социология. Право.

Subject Terms: ФЕНОМЕН ВРЕМЕНИ,ВРЕМЕННАЯ ЛОГИКА,СВОЙСТВА ВРЕМЕНИ,ИЗМЕРЕНИЕ ВРЕМЕНИ

File Description: text/html

Access URL: http://cyberleninka.ru/article/n/logicheskaya-programma-issledovaniya-svoystv-vremeni
http://cyberleninka.ru/article_covers/14491512.png

Логическая программа исследования свойств времени

Subject Terms: философия, онтология, измерение времени, свойства времени, время, временная логика, темпоральность

Access URL: https://openrepository.ru/article?id=1723

Выразительные возможности модальных и временных логических языков

Source: Вестник Ленинградского государственного университета им. А.С. Пушкина.

Subject Terms: МОДАЛЬНАЯ ЛОГИКА, ВРЕМЕННАЯ ЛОГИКА, ВЫРАЗИТЕЛЬНЫЕ ВОЗМОЖНОСТИ ЛОГИЧЕСКИХ ЯЗЫКОВ, БИСИМУЛЯЦИЯ, ВРЕМЕНА ГЛАГОЛА, МОДАЛЬНОСТЬ, ВРЕМЯ

File Description: text/html

Access URL: http://cyberleninka.ru/article/n/vyrazitelnye-vozmozhnosti-modalnyh-i-vremennyh-logicheskih-yazykov
http://cyberleninka.ru/article_covers/14601112.png

Типология глагольных предикатов Вендлера-Кенни

Source: Вестник Ленинградского государственного университета им. А.С. Пушкина.

Subject Terms: ЛОГИКА ГРАММАТИЧЕСКИХ ВРЕМЁН, ВРЕМЕННАЯ ЛОГИКА, ТИПОЛОГИЯ ГЛАГОЛЬНЫХ ПРЕДИКАТОВ, ИНТЕРВАЛ, СОСТОЯНИЕ, ДЕЙСТВИЕ, ПРОЦЕСС

File Description: text/html

Access URL: http://cyberleninka.ru/article_covers/14610457.png
http://cyberleninka.ru/article/n/tipologiya-glagolnyh-predikatov-vendlera-kenni

Автоматизация анализа ситуаций взаимных блокировок операционных систем

Source: Вестник государственного университета морского и речного флота им. адмирала С.О. Макарова.

Subject Terms: ВАЛИДАЦИЯ, ВЗАИМНЫЕ БЛОКИРОВКИ, ОПЕРАЦИОННЫЕ СИСТЕМЫ, ВРЕМЕННАЯ ЛОГИКА, ПРОВЕРКА МОДЕЛЕЙ, ВЕРИФИКАЦИЯ

File Description: text/html

Access URL: http://cyberleninka.ru/article_covers/10993492.png
http://cyberleninka.ru/article/n/avtomatizatsiya-analiza-situatsiy-vzaimnyh-blokirovok-operatsionnyh-sistem

Разрешимость многомодальной линейной логики знания и времени LTK ; Decidability of Multi-modal Logic LTK of Linear Time and Knowledge

Authors: Lukyanchuk, Alexandra N., Лукьянчук, Александра Н.

Subject Terms: multi-modal logic, temporal logic, epistemic logic, decidability, effective finite model property, многомодальная логика, линейная временная логика, разрешимость, эффективная финитная аппроксимируемость

Relation: 2013 6 ( 2 ); Журнал Сибирского федерального университета. Математика и физика. Journal of Siberian Federal University. Mathematics & Physics.

Availability: https://elib.sfu-kras.ru/handle/2311/9680