Cina, G., Baltag, A. (2016) Bisimulation for conditional modalities (extended version).

In ILLC Technical Reports

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, S. İlker Birbil (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, S. İlker Birbil (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., Röber, T., Goedhart, R., Birbil, S. İlker Birbil (2025) Why we do need explainable AI for healthcare.

Diagnostic and Prognostic Research, Vol. 9

Article | https://doi.org/10.1186/s41512-025-00209-4 | 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. (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. (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., Golden, Mark S., Gürsoy, Umut, Stoof, Henk T.C. (2026) Holographic Strange Metals for Philosophers and Physicists.

Foundations of Physics, Vol. 56

Article | https://doi.org/10.1007/s10701-025-00907-5 | UvA-DARE

Cinti, E., Sanchioni, M. (2024) Beyond the Quantum Membrane Paradigm: A Philosophical Analysis of the Structure of Black Holes in Full QG.

Foundations of Physics, Vol. 54

Article | https://doi.org/10.1007/s10701-024-00758-6 | UvA-DARE

Cinti, E., Sanchioni, M. (2025) Bridging supersymmetry and the spin-statistics theorem: A quest for emergence.

Synthese, Vol. 205

Article | https://doi.org/10.1007/s11229-024-04895-3 | 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.