Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций
Конференция: KES International Conference on Knowledge-Based and Intelligent Information and Engineering Systems, KES 2021
Год издания: 2021
Идентификатор DOI: 10.1016/j.procs.2021.08.026
Ключевые слова: deciding algorithms, information, knowledge, modal logic, plausibility, temporal logic
Аннотация: The paper formalizes quantitative (numerical) modalities and describes their possible applications. We work via standard Kripke-like semantics for modal logics and introduce quantitative modalities as possibility to have predefined amount of different sta
Издание
Журнал: Procedia Computer Science
Выпуск журнала: Vol. 192
Номера страниц: 251-258
ISSN журнала: 18770509
Издатель: Elsevier B.V.
Персоны
- Rybakov V.V. (Institute of Mathematics and Computer Science, Siberian Federal University, 79 Svobodny pr., Krasnoyarsk, 660041, Russian Federation, A.P. Ershov, Institute of Informatics Systems SB RAS, Acad. Lavrentjev pr., 6, Novosibirsk, 630090, Russia)
Вхождение в базы данных
Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.