conference-paper
Open access
Reasoning about conditions in STIT logic
Research footprint
At a glance
- Citations
- 0
- References
- 0
- Comments
- 0
Paper overview
Abstract
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 with a special operator that allows us to represent the concept of a presumption. This enables us to model the retroactive effect of conditions.
Record transparency
Publication details
- OpenAlex
- W2899259296
- Document type
- conference-paper
- Language
- EN
- Source
- HAL (Le Centre pour la Communication Scientifique Directe)
- Last metadata update
Comments
Log in to join the discussion.