From ATL to Stit
Abstract
I present a technical embedding of alternating-time temporal logic into stit theory.
- Publication:
-
arXiv e-prints
- Pub Date:
- February 2023
- DOI:
- 10.48550/arXiv.2302.07332
- arXiv:
- arXiv:2302.07332
- Bibcode:
- 2023arXiv230207332I
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Mathematics - Logic
- E-Print:
- Preprint