Investigator: RNDr. Ondrej Majer, CSc.

Provider: Archive

Programme: Lead Agency

Duration: 2022-2025

The project challenges the standard extensional view of groups in epistemic logic, which reduces a group to the set of its members and fails to capture its structure and uncertainty about membership. It develops instead an intensional account that separates group identity from its current composition and incorporates its algebraic and relational structure.