Agentive Permissions in Multiagent Systems

Qi Shi
4/25/2024
cs.AIcs.MA

No confident code implementation found for this paper. 1 possible match can be shown below.

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.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. 1 weaker match is hidden by default — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

Cite this paper

@article{shi2024agentive,
  title  = {Agentive Permissions in Multiagent Systems},
  author = {Qi Shi},
  year   = {2024},
  eprint = {2404.17053},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2404.17053v1}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2404.17053.svg)](https://codeofpaper.com/paper/2404.17053)

Discussion