José Carmo

- DEON 2025: 17th InternaJonal Conference on DeonJc Logic and NormaJve Systems, 978-1-84890-490-3, DEON 2025: 17th InternaJonal Conference on DeonJc Logic and NormaJve Systems, 2025

- Attempt and Causation, José Carmo, CIMA Encontro Anual 2024, 2024

- Proof of Causation, Symbolic Representation and AI: A modal logical framework to represent and reason about causation and responsibilit, José Carmo e Paulo de Sousa Mendes, IV INTERNATIONAL SEMINAR "QUAESTIO FACTI": ARTIFICIAL INTELLIGENCE AND LAW, 2024

- DEON 2023: 16th InternationalConference on Deontic Logic andNormative Systems, DEON 2023: 16th InternationalConference on Deontic Logic andNormative Systems, 2023

- Paradigmas da Programação em Python, José Carmo, 2023, 478

- Carmo and Jones' logic for contrary- to-duty obligations revised, Carmo, J. and Jones, A.J.I, 0955-792X, Journal of Logic and Computation, Volume 32, Issue 7, 2022, 13

- Modal logics and applications, José Carmo, CIMA Encontro Anual 2022, 2022

- SOCREAL 2022, 6th International Workshop on Philosophy and Logic of Social Reality, SOCREAL 2022, 6th International Workshop on Philosophy and Logic of Social Reality, 2022

- 15th International Conference on Deontic and Normative Systems (DEON 2020), 15th International Conference on Deontic and Normative Systems (DEON 2020), 2020

- SOCREAL 2019, 5th International Workshop on Philosophy and Logic of Social Reality, SOCREAL 2019, 5th International Workshop on Philosophy and Logic of Social Reality, 2019