|
Journal of Siberian Federal University. Mathematics & Physics, 2024, Volume 17, Issue 5, Pages 679–683
(Mi jsfu1199)
|
|
|
|
Interval multi-agent logic with reliability operator
Vladimir R. Kiyatkin, Vladimir V. Rybakov Siberian Federal University, Krasnoyarsk, Russian Federation
Abstract:
We study intransitive temporal multi-agent logic with agents' multi-valuations for formulas letters and relational models representing reliable states. This logic is defined in a semantic as a set of formulas which are true at linear models with multi-valued variables. We propose a background for such approach and a technique for computation truth values of formulas. Main results concerns solvability problem, we prove that the resulting logic is decidable.
Keywords:
modal logic, temporal logic, common knowledge, deciding algorithms, multi-agent logic.
Received: 10.04.2024 Received in revised form: 19.05.2024 Accepted: 24.07.2024
Citation:
Vladimir R. Kiyatkin, Vladimir V. Rybakov, “Interval multi-agent logic with reliability operator”, J. Sib. Fed. Univ. Math. Phys., 17:5 (2024), 679–683
Linking options:
https://www.mathnet.ru/eng/jsfu1199 https://www.mathnet.ru/eng/jsfu/v17/i5/p679
|
Statistics & downloads: |
Abstract page: | 50 | Full-text PDF : | 12 | References: | 12 |
|