Robuta

https://xkcd.com/1033/
formal logicxkcd
https://www.johnholliday.net/deontic-logic-for-agent-permissions-a-formal-framework-for-ai-agent-governance/
The fundamental question of what agents are permitted to do remains governed by ad-hoc JSON schemas and vibes-based access control. Wesley Hohfeld's...
deontic logicagentpermissionsformalframework
https://en.wikibooks.org/wiki/File:Formal_Logic.pdf
formal logicopen booksfilepdfwikibooks