Studia Logica

, Volume 71, Issue 2, pp 247–258 | Cite as

Hans Kleine Buning and Theodor Lettmann, Propositional Logic: Deduction and Algorithms

  • Anthony Hunter

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Brown, M. A., and J. Carmo (eds.), Deontic Logic, Agency and Normative Systems, Berlin: Springer Verlag 1996.Google Scholar
  2. Demolombe, R., and R. Hilpinen (eds.), ΔEON'00, 5th International Worhshop on Deontic Logic in Computer Science, Toulouse, France 2000.Google Scholar
  3. Dignum, F., and R. Kuiper, 'Specifying deadlines with continuous time using deontic and temporal logic', International Journal of Electronic Commerce 3 (1998), 67-86.Google Scholar
  4. 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.Google Scholar
  5. Geach, P., 'Whatever happened to deontic logic', in P. Geach, Logic and Ethics, Dordrecht: Kluwer Academic Publishers, 1991, pp. 33-48.Google Scholar
  6. Hansson, S. O., A Textbook of Belief Dynamics: Theory Change and Database Updating, Dordrecht: Kluwer Academic Publishers, 1999.Google Scholar
  7. Hilpinen, R. (ed.), Deontic Logic: Introductory and Systematic Readings, Dordrecht: Reidel 1970.Google Scholar
  8. Hilpinen, R. (ed.), New Studies in Deontic Logic, Dordrecht: D. Reidel 1981.Google Scholar
  9. Hintikka, J., 'Some main problems of deontic logic', in Hilpinen (1970).Google Scholar
  10. Jennings, R. E., 'Can there be a natural deontic logic', Synthese 65 (1985), 257-273.Google Scholar
  11. 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.Google Scholar
  12. Jones, A. J. I., and M. Sergot (eds.), Second International Workshop on Deontic Logic in Computer Science, Oslo: Tano A. S. 1993.Google Scholar
  13. McNamara, P., and H. Prakken (eds.), ΔEON'98, 4th International Worhshop on Deontic Logic in Computer Science, Bologna 1998.Google Scholar
  14. 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.Google Scholar
  15. 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.Google Scholar
  16. Meyer, J.-J. Ch., and R. J. Wieringa, 'Deontic logic, a concise overview', in Meyer and Wieringa (1991), pp. 2-14.Google Scholar
  17. Nute, D. (ed.), Defeasible Deontic Logic, Dordrecht: Kluwer Academic Publishers 1997.Google Scholar
  18. Nute, D., and X. Yu, 'Introduction', in Nute (1997).Google Scholar
  19. Torre, van der, L., Reasoning about Obligations, Defeasibility in Preference-based Deontic Logic, Rotterdam: Erasmus Universiteit Rotterdam 1997.Google Scholar
  20. 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.Google Scholar
  21. Wright, von, G. H., 'Deontic logic', Mind 60 (1951), 1-15.Google Scholar
  22. Wright, von, G. H., Norm and Action: A logical inquiry, London: Routledge & Kegan Paul 1963.Google Scholar
  23. Wright, von, G. H., An Essay in Deontic Logic and the General Theory of Action, Amsterdam: North-Holland 1968.Google Scholar

Copyright information

© Kluwer Academic Publishers 2002

Authors and Affiliations

  • Anthony Hunter
    • 1
  1. 1.Department of Computer ScienceUniversity CollegeLondon

Personalised recommendations