Deontic logic in computer science. 11th international conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings

DOI10.1007/978-3-642-31570-1zbMath1250.03001OpenAlexW2482695635MaRDI QIDQ435034

No author found.

Publication date: 16 July 2012

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

Full work available at URL: https://doi.org/10.1007/978-3-642-31570-1

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in computer science (03B70) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Related Items (1)

A Lewisian taxonomy for deontic logic

This page was built for publication: Deontic logic in computer science. 11th international conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings