تقرير
Epistemic Logics of Structured Intensional Groups
| العنوان: | Epistemic Logics of Structured Intensional Groups |
|---|---|
| المؤلفون: | Bílková, Marta, Sedlár, Igor |
| المصدر: | EPTCS 379, 2023, pp. 113-130 |
| سنة النشر: | 2023 |
| المجموعة: | Computer Science |
| مصطلحات موضوعية: | Computer Science - Logic in Computer Science, Computer Science - Multiagent Systems |
| الوصف: | Epistemic logics of intensional groups lift the assumption that membership in a group of agents is common knowledge. Instead of being represented directly as a set of agents, intensional groups are represented by a property that may change its extension from world to world. Several authors have considered versions of the intensional group framework where group-specifying properties are articulated using structured terms of a language, such as the language of Boolean algebras or of description logic. In this paper we formulate a general semantic framework for epistemic logics of structured intensional groups, develop the basic theory leading to completeness-via-canonicity results, and show that several frameworks presented in the literature correspond to special cases of the general framework. Comment: In Proceedings TARK 2023, arXiv:2307.04005 |
| نوع الوثيقة: | Working Paper |
| DOI: | 10.4204/EPTCS.379.11 |
| الوصول الحر: | http://arxiv.org/abs/2307.05056Test |
| رقم الانضمام: | edsarx.2307.05056 |
| قاعدة البيانات: | arXiv |
| DOI: | 10.4204/EPTCS.379.11 |
|---|