This is a preview of subscription content, log in via an institution to check access.
References
Brown, M. A., and J. Carmo (eds.), Deontic Logic, Agency and Normative Systems, Berlin: Springer Verlag 1996.
Demolombe, R., and R. Hilpinen (eds.), ΔEON'00, 5th International Worhshop on Deontic Logic in Computer Science, Toulouse, France 2000.
Dignum, F., and R. Kuiper, 'Specifying deadlines with continuous time using deontic and temporal logic', International Journal of Electronic Commerce 3 (1998), 67-86.
Eck, van, J. A., 'A system of temporally relative modal and deontic predicate logic and its philosophical application', Logique et Analyse 100 (1982), 249-381.
Geach, P., 'Whatever happened to deontic logic', in P. Geach, Logic and Ethics, Dordrecht: Kluwer Academic Publishers, 1991, pp. 33-48.
Hansson, S. O., A Textbook of Belief Dynamics: Theory Change and Database Updating, Dordrecht: Kluwer Academic Publishers, 1999.
Hilpinen, R. (ed.), Deontic Logic: Introductory and Systematic Readings, Dordrecht: Reidel 1970.
Hilpinen, R. (ed.), New Studies in Deontic Logic, Dordrecht: D. Reidel 1981.
Hintikka, J., 'Some main problems of deontic logic', in Hilpinen (1970).
Jennings, R. E., 'Can there be a natural deontic logic', Synthese 65 (1985), 257-273.
Jones, A. J. I., and M. Sergot, 'On the role of deontic logic in the characterization of normative systems', in Meyer and Wieringa (1991), pp. 248-261.
Jones, A. J. I., and M. Sergot (eds.), Second International Workshop on Deontic Logic in Computer Science, Oslo: Tano A. S. 1993.
McNamara, P., and H. Prakken (eds.), ΔEON'98, 4th International Worhshop on Deontic Logic in Computer Science, Bologna 1998.
Meyer, J.-J. Ch., 'A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic', Notre Dame Journal of Formal Logic 29 (1988), 109-136.
Meyer, J.-J. Ch., and R. J. Wieringa (eds.), ΔEON'91, Proceedings of the First International Workshop on Deontic Logic in Computer Science, Amsterdam 1991.
Meyer, J.-J. Ch., and R. J. Wieringa, 'Deontic logic, a concise overview', in Meyer and Wieringa (1991), pp. 2-14.
Nute, D. (ed.), Defeasible Deontic Logic, Dordrecht: Kluwer Academic Publishers 1997.
Nute, D., and X. Yu, 'Introduction', in Nute (1997).
Torre, van der, L., Reasoning about Obligations, Defeasibility in Preference-based Deontic Logic, Rotterdam: Erasmus Universiteit Rotterdam 1997.
Wieringa, R., and J.-J. Ch. Meyer, 'Applications of deontic logic in computer science: A concise overview', in Meyer and Wieringa (1991), pp. 15-41.
Wright, von, G. H., 'Deontic logic', Mind 60 (1951), 1-15.
Wright, von, G. H., Norm and Action: A logical inquiry, London: Routledge & Kegan Paul 1963.
Wright, von, G. H., An Essay in Deontic Logic and the General Theory of Action, Amsterdam: North-Holland 1968.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hunter, A. Hans Kleine Buning and Theodor Lettmann, Propositional Logic: Deduction and Algorithms . Studia Logica 71, 247–258 (2002). https://doi.org/10.1023/A:1016553006778
Issue Date:
DOI: https://doi.org/10.1023/A:1016553006778