Matthias Armgardt

Reasoning about conditions in STIT logic

2018 · HAL (Le Centre pour la Communication Scientifique Directe)

In this paper we propose a logical formalization of the legal concepts of suspensive and resolutive conditions within the STIT approach to action. At the technical level, our proposal consists in extending the STIT language …