Author:
Fuenmayor David,Benzmüller Christoph
Publisher
Springer International Publishing
Reference17 articles.
1. Benzmüller, C.: Universal (meta-)logical reasoning: recent successes. Sci. Comput. Program. 172, 48–62 (2019)
2. Benzmüller, C., Farjami, A., Parent, X.: A dyadic deontic logic in HOL. In: Broersen, J., Condoravdi, C., Nair, S., Pigozzi, G. (eds.), Proceedings of DEON 2018—Deontic Logic and Normative Systems, pp. 33–50. College Publications (2018)
3. Benzmüller, C., Paulson, L.: Quantified multimodal logics in simple type theory. Log. Univers. (Spec. Issue Multimodal Log.) 7(1), 7–20 (2013)
4. Beyleveld, D.: The Dialectical Necessity of Morality: An Analysis and Defense of Alan Gewirth’s Argument to the Principle of Generic Consistency. UCP, Chicago (1991)
5. Lecture Notes in Computer Science;JC Blanchette,2010
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献