Intransitive Temporal Multi-agent Logic with Agents’ Multi-valuations. Decidability
We study intransitive temporal multi-agent logic with agents’ multi-valuations for letters and formulas. In previous wide accepted research the time and knowledge primarily were modeled by Kripke models with structure looking as simply a single time cluster with multi-relations for agents’ accessibi...
| الحاوية / القاعدة: | Известия Иркутского государственного университета: Серия "Математика" |
|---|---|
| المؤلفون الرئيسيون: | , , |
| التنسيق: | مقال |
| اللغة: | الإنجليزية |
| منشور في: |
Irkutsk State University
2025-03-01
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://mathizv.isu.ru/en/article/file?id=1527 |