José Carmo

José Carmo: Collective agency, direct action and dynamic operators. Logic Journal of the IGPL 18(1): 66-98 (2010)

José Carmo: Collective Action, Direct Action and Dynamic Operators. NORMAS 2008: 31-50

José Carmo: Roles, Counts-as and Deontic and Action Logics. DEON 2006: 1

Olga Pacheco, José Carmo: A Role Based Model for the Normative Specification of Organized Collective Agency and Agents Interaction. Autonomous Agents and Multi-Agent Systems 6(2): 145-184 (2003)

José Carmo, Olga Pacheco: Deontic and Action Logics for Organized Collective Agency, Modeled through Institutionalized Agents and Roles. Fundam. Inform. 48(2-3): 129-163 (2001)

José Carmo, Robert Demolombe, Andrew J. I. Jones: An Application of Deontic Logic to Information System Constraints. Fundam. Inform. 48(2-3): 165-181 (2001)

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

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

José Carmo, Andrew J. I. Jones: Deontic Database Constraints, Violation and Recovery. Studia Logica 57(1): 139-165 (1996)

Filipe Santos, José Carmo: Indirect Action, Influence and Responsibility. DEON 1996: 194-215

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

Filipe Santos, José Carmo: A Modal Action Logic Based Framework for Organization Specification and Analysis. JELIA 1996: 119-133

Mark A. Brown, José Carmo (Eds.): Deontic Logic, Agency and Normative Systems, DEON '96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996. Workshops in Computing, Springer 1996, isbn 3-540-76015-6

Renwei Li, José Carmo: On Completeness of a Positional Interval Logic with Equality, Overlap and Subinterval Relations. Logic Journal of the IGPL 3(5): 765-790 (1995)

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

Renwei Li, José Carmo: An Interval-Based Modal Logic for System Specification. LFCS 1992: 281-292

José Carmo, Amílcar Sernadas: Formal techniques for systems specification and verification. Inf. Syst. 16(3): 245-272 (1991)

José Carmo, Amílcar Sernadas: Branching versus Linear Logics Yet Again. Formal Asp. Comput. 2(1): 24-59 (1990)

José Carmo, Amílcar Sernadas: Inevitability in Branching Time. Logic at Botik 1989: 41-62

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

José Carmo: The INFOLOG Branching Logic of Events. TFAIS 1985: 158-173