TL;DR
This paper introduces a formal embedding of alternating-time temporal logic into stit theory, bridging two logical frameworks to enhance understanding of agency and time in multi-agent systems.
Contribution
It provides a novel technical embedding of ATL into stit theory, enabling new ways to analyze agency and temporal aspects in logical systems.
Findings
Formal embedding established between ATL and stit
Enhanced analytical tools for multi-agent temporal reasoning
Potential applications in AI and formal verification
Abstract
I present a technical embedding of alternating-time temporal logic into stit theory.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Cellular Automata and Applications · Advanced Database Systems and Queries