Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций

Конференция: 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)

• Scopus
• Ядро РИНЦ (eLIBRARY.RU)