research
∙
02/14/2023
From ATL to Stit
I present a technical embedding of alternating-time temporal logic into ...
share
research
∙
06/22/2021
A Deontic Stit Logic Based on Beliefs and Expected Utility
The formalization of action and obligation using logic languages is a to...
research
∙
11/19/2019
