Publisher
Springer International Publishing
Reference22 articles.
1. Aiello, M., Pratt-Hartmann, I., Van Benthem, J., et al.: Handbook of Spatial Logics. Springer, Dordrecht (2007). https://doi.org/10.1007/978-1-4020-5587-4
2. Benzmüller, C.: Universal (meta-)logical reasoning: recent successes. Sci. Comput. Program. 172, 48–62 (2019)
3. Benzmüller, C., Parent, X., van der Torre, L.: Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support. Artif. Intell. 287, 103348 (2020)
4. Benzmüller, C., Paulson, L.C.: Quantified multimodal logics in simple type theory. Logica Universalis (Spec. Issue Multimodal Log.) 7(1), 7–20 (2013)
5. 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). https://plato.stanford.edu/archives/sum2019/entries/type-theory-church/
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献