Author:
Benzmüller Christoph,Parent Xavier,van der Torre Leendert
Publisher
Springer International Publishing
Reference40 articles.
1. Anderson, M., Anderson, S.L.: Toward ensuring ethical behavior from autonomous systems: a case-supported principle-based paradigm. Ind. Robot 42(4), 324–331 (2015)
2. Andrews, P.: Church’s type theory. In: Zalta, E. (ed.) The Stanford Encyclopedia of Philosophy, Spring 2014 edn (2014)
3. Åqvist, L.: Deontic logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn, vol. 8, pp. 147–264. Kluwer Academic Publishers, Dordrecht, Holland (2002)
4. Benzmüller, C.: Cut-elimination for quantified conditional logic. J. Philos. Logic 46(3), 333–353 (2017)
5. Lecture Notes in Computer Science;C Benzmüller,2017
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献