Searchable List of Research Output | Institute for Logic, Language and Computation

Smets, S., Velázquez-Quesada, F.R. (2018) The creation and change of social networks: a logical study based on group size.

In Madeira, A. Benevides, M. (Eds.), Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017 : proceedings (pp 171-184) (Lecture Notes in Computer Science, Vol. 10669). Springer.

Conference contribution | https://doi.org/10.1007/978-3-319-73579-5_11 | UvA-DARE
Smets, S., Velázquez-Quesada, F.R. (2019) A logical study of group-size based social network creation.

Journal of Logical and Algebraic Methods in Programming, Vol. 106 (pp 117-140)

Article | https://doi.org/10.1016/j.jlamp.2019.05.003 | UvA-DARE
Smets, S., Velázquez-Quesada, F.R. (2020) A Logical Analysis of the Interplay Between Social Influence and Friendship Selection.

In Soares Barbosa, L. Baltag, A. (Eds.), Dynamic Logic : New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019 : proceedings (pp 71-87) (Lecture Notes in Computer Science, Vol. 12005). Springer.

Conference contribution | https://doi.org/10.1007/978-3-030-38808-9_5 | UvA-DARE
Smets, S., Velázquez-Quesada, F.R. (2020) A Closeness- and Priority-Based Logical Study of Social Network Creation.

Journal of Logic, Language and Information, Vol. 29 (pp 21–51)

Article | https://doi.org/10.1007/s10849-019-09311-5 | UvA-DARE
Smets, S. (2006) From Intuitionistic Logic to Dynamic Operational Quantum Logic.

In Essays in Logic and Ontology - dedicated to Jerzy Perzanowski, Poznan Studies in Philosophy and the Humanities (pp 257-275)

Chapter | UvA-DARE
Smets, S. (2013) Reasoning about Quantum Actions: A Logician’s Perspective.

In Andersen, H. Dieks, D. Gonzalez, W.J. Uebel, T. Wheeler, G. (Eds.), New Challenges to Philosophy of Science (pp 125-134) (The Philosophy of Science in a European Perspective, Vol. 4). Springer.

Chapter | https://doi.org/10.1007/978-94-007-5845-2_11 | UvA-DARE
Smets, S. (2016) Informational cascades: A test for rationality?.

In Väänänen, J. Hirvonen, Å. de Queiroz, R. (Eds.), Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016: Puebla, Mexico, August 16–19th, 2016: proceedings (pp XVI-XVIII) (Lecture Notes in Computer Science, Vol. 9803). Springer.

Conference contribution | https://doi.org/10.1007/978-3-662-52921-8 | UvA-DARE
Smets, S. (2016) Belief dynamics in a social context.

In Väänänen, J. Hirvonen, Å. de Queiroz, R. (Eds.), Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016: Puebla, Mexico, August 16–19th, 2016: proceedings (pp XIX) (Lecture Notes in Computer Science, Vol. 9803). Springer.

Conference contribution | https://doi.org/10.1007/978-3-662-52921-8 | UvA-DARE
Smid, Jeroen (2021) Extensionality for Fusions and Pluralities.

Synthese, Vol. 198 (pp 4355-4374)

Article | https://doi.org/10.1007/s11229-018-02003-w | UvA-DARE
Smid, Jeroen (2022) Mind the Gap: The Space Between Coincidence and Colocation.

Journal of Philosophical Logic, Vol. 51 (pp 57–73)

Article | https://doi.org/10.1007/s10992-021-09609-5 | UvA-DARE
Smid, Jeroen (2023) The Magic of Ad Hoc Solutions.

Journal of the American Philosophical Association, Vol. 9 (pp 724-741)

Article | https://doi.org/10.1017/apa.2022.27 | UvA-DARE
Smid, Jeroen (2023) The Aleph and Other Alleged Mereological Curiosities.

Australasian Journal of Philosophy, Vol. 101 (pp 564-574)

Article | https://doi.org/10.1080/00048402.2022.2043400 | UvA-DARE
Smid, Jeroen (2023) Plenty of Room for Multilocation.

Erkenntnis, Vol. 88 (pp 2365–2378)

Article | https://doi.org/10.1007/s10670-021-00456-z | UvA-DARE
Smit, E.A., Sadakata, M. (2018) The effect of handedness on spatial and motor representation of pitch patterns in pianists.

PLoS ONE, Vol. 13

Article | https://doi.org/10.1371/journal.pone.0195831 | UvA-DARE
Smith, L.M., Honing, H. (2006) Evaluating and extending computational models of rhythmic syncopation in music.

Proceedings of the International Computer Music Conference, Vol. 2006 (pp 688-691)

Article | UvA-DARE
Smith, L.M., Honing, H. (2007) Evaluation of multiresolution representations of musical rhythm.

In Schubert, E. Buckley, K. Eliott, R. Koboroff, B. Chen, J. Stevens, C. (Eds.), Proceedings of the International Conference on Music Communication Science. MARCS.

Conference contribution | http://www.hcsnet.edu.au | UvA-DARE
Smith, L.M., Honing, H. (2008) A multiresolution model of rhythmic expectancy.

In Miyazaki, K. Hiraga, Y. Adachi, M. Nakajima, Y. Tsuzaki, M. (Eds.), Proceedings of the 10th International Conference on Music Perception and Cognition (ICMPC 10), Sapporo, Japan (pp 360-365). Hokkaido University.

Conference contribution | http://cf.hum.uva.nl/mmm/papers/smith-honing-2008a.pdf | UvA-DARE
Smith, L.M., Honing, H. (2008) Time-frequency representation of musical rhythm by continuous wavelets.

Journal of Mathematics and Music, Vol. 2 (pp 81-97)

Article | https://doi.org/10.1080/17459730802305336 | UvA-DARE
Smolin, J.A., Smith, G., Wehner, S.D.C. (2007) A simple family of non-additive quantum codes.

Physical Review Letters, Vol. 99 (pp 130505-4)

Article | UvA-DARE
Soares Barbosa, L., Baltag, A. (2020) Dynamic Logic : New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019 : proceedings.

Lecture Notes in Computer Science, Vol. 12005. Springer.

Book (Editorship) | https://doi.org/10.1007/978-3-030-38808-9 | UvA-DARE

The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact illc at uva.nl