Privacy Policies with Modal Logic: The Dynamic Turn

DOI10.1007/978-3-642-14183-6_15zbMath1250.68241OpenAlexW1517772571MaRDI QIDQ4931575

Guido Boella, Guillaume Aucher, Leendert van der Torre

Publication date: 29 September 2010

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

Full work available at URL: https://hal.inria.fr/inria-00556079/file/10.1007-978-3-642-14183-6_15.pdf

Mathematics Subject Classification ID

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

Related Items (1)

Reasoning about permitted announcements

This page was built for publication: Privacy Policies with Modal Logic: The Dynamic Turn