Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Contributed Papers

A State/Event Temporal Deontic Logic

Julien BrunelContact Information, Jean-Paul BodeveixContact Information and Mamoun FilaliContact Information

(1)  Institut de Recherche en Informatique de Toulouse, Université Paul Sabatier, 118 route de Narbonne, 31062 Toulouse, France
Abstract
This paper studies a logic that combines deontic and temporal aspects. We first present a state/event temporal formalism and define a deontic extension of it. Then, we study the interaction between the temporal dimension and the deontic dimension. We present some logical properties, concerning formulas where deontic and temporal operators are nested, and discuss their intuitive meaning. We focus more particularly on the properties of obligation with deadline and define a specific operator to express this notion.

Contact Information Julien Brunel
Email: brunel@irit.fr

Contact Information Jean-Paul Bodeveix
Email: bodeveix@irit.fr

Contact Information Mamoun Filali
Email: filali@irit.fr
Fulltext Preview (Small, Large)
Image of the first page of the fulltext


Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.112 • Server: mpweb20
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)