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, Julia de Jesus Dias Martins, Mauricio Zuidema, Willem Tecumseh Fitch, W. (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

Uemura, T. (2019) Cubical Assemblies, a Univalent and Impredicative Universe and a Failure of Propositional Resizing.

In Dybjer, P. Espírito Santo, J. Pinto, L. (Eds.), 24th International Conference on Types for Proofs and Programs: TYPES 2018, June 18-21, 2018, Braga, Portugal (Leibniz International Proceedings in Informatics, Vol. 130). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.

Uemura, T. (2019) Cubical Assembly Models of Homotopy Type Theory.

Abstract | UvA-DARE

Uemura, T. (2019) A General Framework for the Semantics of Type Theory.

Abstract | UvA-DARE

Uemura, T. (2019) A General Framework for Categorical Semantics of Type Theory.

Abstract | UvA-DARE

Uemura, T. (2019) A General Framework for the Semantics of Type Theory.

Abstract | UvA-DARE

Uemura, T. (2020) Abstract type theories.

Abstract | UvA-DARE

Uemura, T. (2020) The Universal Exponentiable Arrow.

Journal of Pure and Applied Algebra

Article | UvA-DARE