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., Andrews, P.: Church’s type theory. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, summer 2019 edn. (2019)
3. Benzmüller, C., Paulson, L.C.: Quantified multimodal logics in simple type theory. Log. Univers. (Special Issue on Multimodal Logics) 7(1), 7–20 (2013).
https://doi.org/10.1007/s11787-012-0052-y
4. Besnard, P., Hunter, A.: Elements of Argumentation, vol. 47. MIT Press, Cambridge (2008)
5. Besnard, P., Hunter, A.: Constructing argument graphs with deductive arguments: a tutorial. Argum. Comput. 5(1), 5–30 (2014)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献