Number of the records: 1
Epistemic Logics of Structured Intensional Groups
- 1.0573769 - ÚI 2024 RIV GB eng C - Conference Paper (international conference)
Bílková, Marta - Sedlár, Igor
Epistemic Logics of Structured Intensional Groups.
Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge (TARK 2023). Oxford: Open Publishing Association, 2023 - (Verbrugge, R.), s. 113-130. Electronic Proceedings in Theoretical Computer Science, 379. ISSN 2075-2180.
[TARK 2023: Theoretical Aspects of Rationality and Knowledge /19./. Oxford (GB), 28.06.2023-30.06.2023]
R&D Projects: GA ČR(CZ) GF22-23022L
Institutional support: RVO:67985807
Keywords : epistemic logic * group knowledge * common knowledge * relational semantics * neighbourhood semantics
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?TARK2023.11.pdf
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.
Permanent Link: https://hdl.handle.net/11104/0344132
Research data: ArXiv.org
File Download Size Commentary Version Access 0573769-aoa.pdf 6 255.2 KB OA CC BY Publisher’s postprint open-access
Number of the records: 1