Uckelman, S.L., Uckelman, J.D. (2007) Modal and Temporal Logics for Abstract Space-Time Structures.

Studies in the History and Philosophy of Modern Physics, Vol. 38 (pp 673-681)

Article | https://doi.org/10.1016/j.shpsb.2007.01.004 | UvA-DARE

Uckelman, S.L. (2008) Three 13th-century views of quantified modal logic.

In Goldblatt, R. Areces, C. (Eds.), Advances in Modal Logic 7 (pp 389-406). College Publications.

Uckelman, S.L. (2009) Anselm's logic of agency.

Philosophiegeschichte und logische Analyse, Vol. 12 (pp 248-268)

Article | http://staff.science.uva.nl/~suckelma/latex/anselmagency-lahp.pdf | UvA-DARE

Uckelman, S.L. (2009) The ontological argument and Russell's antinomy.

Logic and Logical Philosophy, Vol. 18 (pp 309-312)

Article | https://doi.org/10.12775/LLP.2009.015 | UvA-DARE

Uckelman, S.L. (2009) Modalities in medieval logic.

Institute for Logic, Language and Computation.

Thesis, fully internal | UvA-DARE

Uckelman, S.L. (2010) Reasoning about the trinity: A modern formalization of a medieval system of trinitarian logic.

In Schumann, A. (Eds.), Logic in religious discourse (pp 216-239). ontos verlag.

Uckelman, S.L. (2010) Jean Buridan.

In Russo, F. Williamson, J. (Eds.), Key terms in logic (pp 117-117) (Key terms in philosophy). Continuum.

Uckelman, S.L. (2010) Dynamic logic.

In Russo, F. Williamson, J. (Eds.), Key terms in logic (pp 47-47) (Key terms in philosophy). Continuum.

Uckelman, S.L. (2010) Logic and the condemnations of 1277.

Journal of Philosophical Logic, Vol. 39 (pp 201-227)

Article | https://doi.org/10.1007/s10992-010-9126-6 | UvA-DARE

Uckelman, S.L. (2010) Computing with concepts, computing with numbers: Llull, Leibniz, and Boole.

In Ferreira, F. Löwe, B. Mayordomo, E. Mendes Gomes, L. (Eds.), Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010: Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 : proceedings (pp 427-437) (Lecture Notes in Computer Science, Vol. 6158). Springer.

Uckelman, S.L. (2011) Obligationes as Formal Dialogue Systems.

In Ågotnes, T. (Eds.), STAIRS 2010: proceedings of the Fifth Starting AI Researchers' Symposium (pp 341-353) (Frontiers in Artificial Intelligence and Applications, Vol. 222). IOS Press.

Uckelman, S.L. (2011) Prior on an insolubilium of Jean Buridan.

Synthese, Vol. 188 (pp 487-498)

Article | https://doi.org/10.1007/s11229-011-9940-6 | UvA-DARE

Uckelman, S.L. (2011) The ontological argument.

In Bruce, M. Barbone, S. (Eds.), Just the arguments: 100 of the most important arguments in western philosophy (pp 25-27). Wiley-Blackwell.

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, Vol. 86 (pp 719-720)

Book/Film/Article/Exhibition review | https://doi.org/10.1017/S0038713411001564 | UvA-DARE

Uckelman, S.L. (2012) Arthur Prior and medieval logic.

Synthese, Vol. 188 (pp 349-366)

Article | https://doi.org/10.1007/s11229-011-9943-3 | UvA-DARE

Uddén, J., Dias Martins, M.J., Zuidema, W., Fitch, W.T. (2020) Hierarchical Structure in Sequence Processing: How to Measure It and Determine Its Neural Implementation.

Topics in Cognitive Science, Vol. 12 (pp 910-924)

Article | https://doi.org/10.1111/tops.12442 | UvA-DARE

Uegaki, W., Roelofsen, F. (2018) Do modals take propositions or sets of propositions? Evidence from Japanese darou.

Proceedings from Semantics and Linguistic Theory, Vol. 28 (pp 809-829)

Article | https://doi.org/10.3765/salt.v28i0.4427 | UvA-DARE

Uemura, T., Nguyen, Hoang Kim (2020) ∞-type theories.

Abstract | UvA-DARE

Uemura, T. (2018) Cubical Assemblies and the Independence of the Propositional Resizing Axiom.

Abstract | UvA-DARE

Uemura, T. (2018) Cubical Assemblies and the Independence of the Propositional Resizing Axiom.

Abstract | UvA-DARE