Deontic Logic in Computer Science

DOI10.1007/b98159zbMath1169.68617OpenAlexW2481393147MaRDI QIDQ5901589

Filipe Santos, Olga Pacheco

Publication date: 30 April 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b98159

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Related Items (4)

The categorical imperative: category theory as a foundation for deontic logic ⋮ Substantive and procedural norms in normative multiagent systems ⋮ A logic of delegation ⋮ Obligation, contracts, and negotiation: Outlining an approach

This page was built for publication: Deontic Logic in Computer Science