Solaki, A., Velázquez-Quesada, F.R. (2019) Towards a Logical Formalisation of Theory of Mind: A Study on False Belief Tasks.

In Blackburn, P. Lorini, E. Guo, M. (Eds.), Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019 : proceedings (pp 297-312) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 11813). Springer.

Solaki, A. (2018) Rule-based reasoners in epistemic logic.

Paper | UvA-DARE

Solaki, A. (2018) A dynamic epistemic logic for resource-bounded agents.

Paper | https://eprints.illc.uva.nl/id/eprint/1713/ | UvA-DARE

Solaki, A. (2019) A Dynamic Epistemic Logic for Resource-Bounded Agents.

In Sedlár, I. Blicha, M. (Eds.), The Logica Yearbook 2018 (pp 229-244). College Publications.

Solaki, A. (2020) Bounded Multi-agent Reasoning: Actualizing Distributed Knowledge.

In Martins, M.A. Sedlár, I. (Eds.), Dynamic Logic : New Trends and Applications: Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020 : revised selected papers (pp 239-258) (Lecture Notes in Computer Science, Vol. 12569). Springer.

Solaki, A. (2021) Logical models for bounded reasoners.

ILLC dissertation series. Institute for Logic, Language and Computation.

Thesis, fully internal | UvA-DARE

Solaki, A. (2022) The Effort of Reasoning: Modelling the Inference Steps of Boundedly Rational Agents.

Journal of Logic, Language and Information, Vol. 31 (pp 529-553)

Article | https://doi.org/10.1007/s10849-022-09367-w | UvA-DARE

Soler-Toscano, F., Velázquez-Quesada, F.R. (2010) Abduction for (non-omniscient) agents.

In Boissier, O. El Fallah Seghrouchni, A. Hassas, S. Maudet, N. (Eds.), Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010): Lyon, France, August 30 - September 2, 2010 (pp 51-64) (CEUR Workshop Proceedings, Vol. 627). CEUR-WS.

Sorbi, A., Terwijn, S.A. (2008) Intermediate logics and factors of the Medvedev lattice.

Annals of Pure and Applied Logic, Vol. 155 (pp 69-85)

Article | https://doi.org/10.1016/j.apal.2008.03.002 | UvA-DARE

Sotáková, J. (2024) Isogenies and cryptography.

ILLC Dissertation series

Thesis, fully internal | UvA-DARE

Sourabh, S. (2015) Correspondence and canonicity in non-classical logic.

Thesis, fully internal | UvA-DARE

Spada, L. (2013) Geometrical dualities for Łukasiewicz logic.

Bollettino della Unione Matematica Italiana, Vol. 9/6 (pp 749-763)

Article | http://logica.dmi.unisa.it/lucaspada/wp-content/uploads/duality-UMI-revised.pdf | UvA-DARE

Spalek, R., Szegedy, M. (2005) All Quantum Adversary Methods are Equivalent.

Lecture Notes in Computer Science, Vol. 3580 (pp 1299-1311)

Article | http://www.springerlink.com/content/5ae875yw8nvwv8gk/ | UvA-DARE

Spalek, R., Szegedy, M. (2006) All Quantum Adversary Methods are Equivalent.

Theory of Computing, Vol. 2 (pp 1-18)

Article | UvA-DARE

Spalek, R. (2006) Quantum Algorithms, Lower Bounds, and Time-Space Tradeoffs.

ILLC.

Thesis, fully internal | UvA-DARE

Speelman, F. (2016) Position-based quantum cryptography and catalytic computation.

Thesis, fully internal | UvA-DARE

Speelman, F. (2016) Instantaneous non-local computation of low T-depth quantum circuits.

In Broadbent, A. (Eds.), 11th Conference on the Theory of Quantum Computation, Communication and Cryptography: TQC 2016, September 27-29, 2016, Berlin, Germany (Leibniz International Proceedings in Informatics, Vol. 61). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Spenader, J., Blutner, K.R. (2006) Compositionality and Systematicit.

In Bauma, G. Krämer, I. (Eds.), Cognitive Foundations of Interpretation. KNAW publications.

Spenader, J., Blutner, K.R. (2007) Compositionality and Systematicity.

In Zwarts, J. Bouma, G., Krämer, I. (Eds.), Cognitive Foundations of Interpretation (pp 163-174). KNAW.

Spenader, J., Zeevat, H., Gustafson-Capkova, S. (2001) Comparative and empirical discourse studies.

In Rieser, K. Zeevat, H. (Eds.), Proceedings of Bidialog. ZIF, Bielefeld