No CrossRef data available.
Article contents
Third international workshop on deontic logic in computer science
Published online by Cambridge University Press: 07 July 2009
Extract
The Third International Workshop on Deontic Logic in Computer Science (ΔEON'96) took place in Sesimbra, Portugal, from 11–13 January 1996. It consisted of 12 refereed technical presentations and four invited talks. The invited speakers were Nuel Belnap (Pittsburgh University, USA), Andrew Jones (Oslo University, Norway), Krister Segerberg (Uppsala University, Sweden) and Marek Sergot (Imperial College, UK).
- Type
- Research Article
- Information
- Copyright
- Copyright © Cambridge University Press 1996
References
Brown, M and Carmo, J,(eds.), 1996 Deontic logic, agency and normative systems, ΔEON'96: Third International Workshop on Deontic Logic in Science, Sesimbra, Portugal, 11–13 01 1996, Springer-Verlag.Google Scholar
Jones, A and Sergot, M, (eds.), 1994. Workshop Proceedings: Second International Workshop on Deontic Logic in Computer Science; CompLex, 1/94, Norwegian Research Centers for Computers and Law, Oslo.Google Scholar
(Revised copies of selected papers also appear in a special volume of Studia Logica, Volume 57, 1996.)Google Scholar
Lindahl, L, 1977. Position and Change — A Study in Law and Logic, Synthese Library 112, Reidel, Dordrecht.CrossRefGoogle Scholar
Meyer, JJ, Ch and Wieringa, RJ, (eds.), 1993. Deontic Logic in Computer Science: Normative System Specification, John Wiley, Chichester.Google Scholar
Wieringa, RJ and Meyer, JJ Ch, 1993. “Applications of deontic in computer science: a concise overview”. In: JJ, Ch Meyer and RJ, Wieringa (eds.), Deontic Logic in Computer Science. Normative System Specification, John Wiley, Chichester, pp. 17–40.Google Scholar