Deontic Logic in Computer Science
From MaRDI portal
Publication:5901591
DOI10.1007/B98159zbMath1169.68621OpenAlexW2481393147MaRDI QIDQ5901591
Mehdi Dastani, Joris Hulstijn, Leendert van der Torre, Jan M. Broersen
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
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication: Deontic Logic in Computer Science
