# Agentive Permissions in Multiagent Systems

arXiv: https://arxiv.org/abs/2404.17053 · HTML: https://mlsanity.com/paper/2404.17053/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 2 of its 47 references that are in the map.
- First posted on arXiv 25 Apr 2024.

## Builds on (most cited first, 2 of 2)

- [A Modification of the Halpern-Pearl Definition of Causality](https://mlsanity.com/paper/1505.00162/) (2015)
- [Truth Set Algebra: A New Way to Prove Undefinability](https://mlsanity.com/paper/2208.04422/) (2022)

## Abstract (arXiv)

This paper proposes to distinguish four forms of agentive permissions in multiagent settings. The main technical results are the complexity analysis of model checking, the semantic undefinability of modalities that capture these forms of permissions through each other, and a complete logical system capturing the interplay between these modalities.