From ATL to Stit

2023/02/14 by Aldo Iván Ramírez Abarca, Abarca, Aldo Iván Ramírez
Computer Science · #Advanced Database Systems and Queries #Cellular Automata and Applications #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, programming, and type systems

paper · pdf · doi:10.48550/arxiv.2302.07332

openalex publication_date 2023/02/14 · openalex created_date 2023/02/18 · openalex updated_date 2026/07/28

Abstract

I present a technical embedding of alternating-time temporal logic into stit theory.

Related

• Appendix for: Cut-free Calculi and Relational Semantics for Temporal STIT logics
• Logic Column 11: The Finite and the Infinite in Temporal Logic
• “Sometimes” and “not never” revisited
• A discrete-time temporal deontic STIT logic based on interpreted systems
• A temporal inference accelerator unit