Cina, G., Endriss, U. (2015) A Syntactic Proof of Arrow's Theorem in a Modal Logic of Social Choice Functions.

In AAMAS '15: proceedings of the 2015 International Conference on Autonomous Agents & Multiagent Systems : May, 4-8, 2015, Istanbul, Turkey (pp 1009-1017). International Foundation for Autonomous Agents and Multiagent Systems.

Cina, G., Endriss, U. (2016) Proving Classical Theorems of Social Choice Theory in Modal Logic.

Autonomous Agents and Multi-Agent Systems, Vol. 30 (pp 963-989)

Article | https://doi.org/10.1007/s10458-016-9328-6 | UvA-DARE

Cina, G., Enqvist, N.J.S. (2015) Bisimulation and path logic for sheaves.

In Proceedings of TACL 2015

Cina, G., Enqvist, N.J.S. (2016) Bisimulation and path logic for sheaves: contextuality and beyond..

In ILLC Technical Reports

Cina, G., Röber, T., Goedhart, R., Birbil, I. (2022) Why we do need Explainable AI for Healthcare.

ArXiv.

Preprint | https://doi.org/10.48550/arXiv.2206.15363 | UvA-DARE

Cina, G., Röber, T., Goedhart, R., Birbil, I. (2023) Semantic match: Debugging feature attribution methods in XAI for healthcare.

Proceedings of Machine Learning Research, Vol. 209 (pp 182-191)

Article | https://proceedings.mlr.press/v209/cina23a.html | UvA-DARE

Cina, G. (2014) A Formal Analysis of the Best System Account of Lawhood.

Rivista Italiana di Filosofia Analitica Junior, Vol. 5 (pp 59-73)

Article | UvA-DARE

Cina, G. (2014) Connecting the Categorical and the Modal Logic Approaches to Quantum Mechanics.

In Proceedings of ESSLLI 2014 Student Session

Cina, G. (2016) Mixing Categories and Modal Logics in the Quantum Setting.

In Aerts, D. de Ronde, C. Freytes, H. Giuntini, R. (Eds.), Probing the Meaning of Quantum Mechanics: superpositions, dynamics, semantics and identity ; Quantum Mechanics and Quantum Information: Physical, Philosophical and Logical Approaches, Cagliari, Italy, 23-25 July 2014 (pp 60-75). World Scientific.

Cina, G. (2017) Categories for the working modal logician.

Thesis, fully internal | UvA-DARE

Cinti, E., De Haro, S. (2024) Cambridge Element on Dualities.

Cambridge University Press.

Book | UvA-DARE

Ciroku, Fiorela, De Giorgis, Stefano, Gangemi, Aldo, Martinez Pandiani, Delfina Sol, Presutti, Valentina (2024) Automated multimodal sensemaking: Ontology-based integration of linguistic frames and visual data.

Computers in Human Behavior, Vol. 150

Article | https://doi.org/10.1016/j.chb.2023.107997 | UvA-DARE

Cirstea, C., Kurz, A., Pattinson, D., Schröder, L., Venema, Y. (2011) Modal logics are coalgebraic.

Computer Journal, Vol. 54 (pp 31-41)

Article | https://doi.org/10.1093/comjnl/bxp004 | UvA-DARE

Ciuni, R., Proietti, C. (2019) TRL semantics and Burgess' formula.

In Blackburn, P. Hasle, P. Øhrstrøm, P. (Eds.), Logic and Philosophy of Time: Further Themes from Prior (pp 163-181) (Logic and Philosophy of Time, Vol. 2). Aalborg University Press.

Clarke, B., Ghiara, V., Russo, F. (2019) Time to care: why the humanities and the social sciences belong in the science of health.

BMJ Open, Vol. 9

Article | https://doi.org/10.1136/bmjopen-2019-030286 | UvA-DARE

Clarke, B., Russo, F. (2016) Causation in medicine.

In Marcum, J.A. (Eds.), The Bloomsbury companion to contemporary philosophy of medicine (pp 297-322) (Bloomsbury companions). Bloomsbury Academic.

Clarke, B., Russo, F. (2018) Mechanisms and biomedicine.

In Glennan, S. Ilari, P. (Eds.), The Routledge Handbook of Mechanisms and Mechanical Philosophy (pp 319-331) (Routledge Handbooks in Philosophy). Routledge.

Clarke, C., Kamps, J., Lalmas, M. (2006) INEX 2006 retrieval task and result submission specification.

In INEX 2006 Workshop Pre-Proceedings (pp 381-388)

Clarke, C., Kamps, J., Lalmas, M. (2007) INEX 2007 retrieval task and result submission format.

In Pre-Proceedings of INEX 2007 (pp 445-453)

Cleve, R., Slofstra, W., Unger, Falk, Upadhyay, S. (2008) Perfect parallel repetition theorem for quantum XOR proof systems.

Computational Complexity, Vol. 17 (pp 282-299)

Article | https://doi.org/10.1007/s00037-008-0250-4 | UvA-DARE