The INFOLOG Branching Logic of Events. - José Carmo (TFAIS, 1985)

A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification. - José Carmo; Amílcar Sernadas (Temporal Aspects in Information Systems, 1987)

Inevitability in Branching Time. - José Carmo; Amílcar Sernadas (Logic at Botik, 1989)

Branching versus Linear Logics Yet Again. - José Carmo; Amílcar Sernadas (Formal Aspects Comput., 1990)

Formal techniques for systems specification and verification. - José Carmo; Amílcar Sernadas (Inf. Syst., 1991)

An Interval-Based Modal Logic for System Specification. - Renwei Li 001; José Carmo (LFCS, 1992)

Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL. - Alberto Zanardo; José Carmo (J. Log. Comput., 1993)

On Completeness of a Positional Interval Logic with Equality, Overlap and Subinterval Relations. - Renwei Li 001; José Carmo (Log. J. IGPL, 1995)

Indirect Action, Influence and Responsibility. - Filipe Santos; José Carmo (DEON, 1996)

Towards a Uniform Logical Representation of Different Kinds of Integrity Constraints. - Robert Demolombe; Andrew J. I. Jones; José Carmo (FMLDO, 1996)

A Modal Action Logic Based Framework for Organization Specification and Analysis. - Filipe Santos; José Carmo (JELIA, 1996)

Third international workshop on deontic logic in computer science. - Mark A. Brown; José Carmo (Knowl. Eng. Rev., 1996)

Deontic Database Constraints, Violation and Recovery. - José Carmo; Andrew J. I. Jones (Stud Logica, 1996)

Toward a Uniform Logical Representation of Different Kinds of Integrity Constraints. - Robert Demolombe; Andrew J. I. Jones; José Carmo (ECSQARU-FAPR, 1997)

Action Concepts for Describing Organised Interaction. - Filipe A. A. Santos; Andrew J. I. Jones; José Carmo (HICSS (5), 1997)

An Application of Deontic Logic to Information System Constraints. - José Carmo; Robert Demolombe; Andrew J. I. Jones (Fundam. Informaticae, 2001)

Deontic and Action Logics for Organized Collective Agency, Modeled through Institutionalized Agents and Roles. - José Carmo; Olga Pacheco (Fundam. Informaticae, 2001)

A Role Based Model for the Normative Specification of Organized Collective Agency and Agents Interaction. - Olga Pacheco; José Carmo (Auton. Agents Multi Agent Syst., 2003)

Roles, Counts-as and Deontic and Action Logics. - José Carmo (DEON, 2006)

Collective Action, Direct Action and Dynamic Operators. - José Carmo (NORMAS, 2008)

Collective agency, direct action and dynamic operators. - José Carmo (Log. J. IGPL, 2010)

Completeness and decidability results for a logic of contrary-to-duty conditionals. - José Carmo; Andrew J. I. Jones (J. Log. Comput., 2013)

Carmo and Jones' logic for contrary-to-duty obligations revised. - José Carmo; Andrew J. I. Jones (J. Log. Comput., 2022)