Search results
Results: 21
Number of items: 21
-
Uckelman, S. L. (2012). Arthur Prior and medieval logic. Synthese, 188(3), 349-366. https://doi.org/10.1007/s11229-011-9943-3 -
Alama, J., Knoks, A., & Uckelman, S. L. (2011). Dialogue games for classical logic. In M. Giese, & R. Kuznets (Eds.), TABLEAUX 2011: Workshops, Tutorials, and Short Papers (pp. 82-86). Universität Bern. http://www.tableaux11.unibe.ch/uploads/Site/proceedings.pdf
-
Uckelman, S. L. (2011). Obligationes as Formal Dialogue Systems. In T. Ã…gotnes (Ed.), STAIRS 2010: proceedings of the Fifth Starting AI Researchers' Symposium (pp. 341-353). (Frontiers in Artificial Intelligence and Applications; Vol. 222). IOS Press. https://doi.org/10.3233/978-1-60750-676-8-341
-
Uckelman, S. L. (2011). The ontological argument. In M. Bruce, & S. Barbone (Eds.), Just the arguments: 100 of the most important arguments in western philosophy (pp. 25-27). Wiley-Blackwell. https://doi.org/10.1002/9781444344431.ch4
-
Uckelman, S. L. (2011). [Review of: M.J. Fitzgerald (2010) Albert of Saxony. Quaestiones circa logicam (twenty-five disputed questions on logic): introducation, translation, and notes]. Speculum, 86(3), 719-720. https://doi.org/10.1017/S0038713411001564
-
Uckelman, S. L. (2011). Prior on an insolubilium of Jean Buridan. Synthese, 188(3), 487-498. https://doi.org/10.1007/s11229-011-9940-6 -
Uckelman, S. L. (2010). Reasoning about the trinity: A modern formalization of a medieval system of trinitarian logic. In A. Schumann (Ed.), Logic in religious discourse (pp. 216-239). ontos verlag. http://staff.science.uva.nl/~suckelma/latex/slgr/slgr-uckelman2.pdf
-
Uckelman, S. L. (2010). Jean Buridan. In F. Russo, & J. Williamson (Eds.), Key terms in logic (pp. 117-117). (Key terms in philosophy). Continuum. http://staff.science.uva.nl/~suckelma/latex/JeanBuridan-Uckelman/JeanBuridan-Uckelman.pdf
-
Uckelman, S. L. (2010). Dynamic logic. In F. Russo, & J. Williamson (Eds.), Key terms in logic (pp. 47-47). (Key terms in philosophy). Continuum. http://staff.science.uva.nl/~suckelma/latex/DynamicLogic-Uckelman/DynamicLogic-Uckelman.pdf
Page 1 of 3