arXiv · 2404.17053
Agentive Permissions in Multiagent Systems
Abstract
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.
Explore related subjects
Keep this discovery
Qi Shi. 2024-04-25. Agentive Permissions in Multiagent Systems. https://arxiv.org/abs/2404.17053
Cite the original work for its findings. Save a collection to share your selection of sources.