José Carmo

Publication Activity (10 Years)

Years Active: 1985-2022
Publications (10 Years): 1

Top Topics

Classical Logic

Proof Theoretic

Legal Reasoning

Top Venues

J. Log. Comput.

Publications

José Carmo, Andrew J. I. Jones
Carmo and Jones' logic for contrary-to-duty obligations revised. J. Log. Comput. 32 (7) (2022)
José Carmo, Andrew J. I. Jones
Completeness and decidability results for a logic of contrary-to-duty conditionals. J. Log. Comput. 23 (3) (2013)
José Carmo
Collective agency, direct action and dynamic operators. Log. J. IGPL 18 (1) (2010)
José Carmo
Collective Action, Direct Action and Dynamic Operators. NORMAS (2008)
José Carmo
Roles, Counts-as and Deontic and Action Logics. DEON (2006)
Olga Pacheco, José Carmo
A Role Based Model for the Normative Specification of Organized Collective Agency and Agents Interaction. Auton. Agents Multi Agent Syst. 6 (2) (2003)
José Carmo, Olga Pacheco
Deontic and Action Logics for Organized Collective Agency, Modeled through Institutionalized Agents and Roles. Fundam. Informaticae 48 (2-3) (2001)
José Carmo, Robert Demolombe, Andrew J. I. Jones
An Application of Deontic Logic to Information System Constraints. Fundam. Informaticae 48 (2-3) (2001)
Filipe A. A. Santos, Andrew J. I. Jones, José Carmo
Action Concepts for Describing Organised Interaction. HICSS (5) (1997)
Robert Demolombe, Andrew J. I. Jones, José Carmo
Toward a Uniform Logical Representation of Different Kinds of Integrity Constraints. ECSQARU-FAPR (1997)
José Carmo, Andrew J. I. Jones
Deontic Database Constraints, Violation and Recovery. Stud Logica 57 (1) (1996)
Robert Demolombe, Andrew J. I. Jones, José Carmo
Towards a Uniform Logical Representation of Different Kinds of Integrity Constraints. FMLDO (1996)
Mark A. Brown, José Carmo
Third international workshop on deontic logic in computer science. Knowl. Eng. Rev. 11 (3) (1996)
Filipe Santos, José Carmo
Indirect Action, Influence and Responsibility. DEON (1996)
Filipe Santos, José Carmo
A Modal Action Logic Based Framework for Organization Specification and Analysis. JELIA (1996)
Renwei Li, José Carmo
On Completeness of a Positional Interval Logic with Equality, Overlap and Subinterval Relations. Log. J. IGPL 3 (5) (1995)
Alberto Zanardo, José Carmo
Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL. J. Log. Comput. 3 (3) (1993)
Renwei Li, José Carmo
An Interval-Based Modal Logic for System Specification. LFCS (1992)
José Carmo, Amílcar Sernadas
Formal techniques for systems specification and verification. Inf. Syst. 16 (3) (1991)
José Carmo, Amílcar Sernadas
Branching versus Linear Logics Yet Again. Formal Aspects Comput. 2 (1) (1990)
José Carmo, Amílcar Sernadas
Inevitability in Branching Time. Logic at Botik (1989)
José Carmo, Amílcar Sernadas
A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification. Temporal Aspects in Information Systems (1987)
José Carmo
The INFOLOG Branching Logic of Events. TFAIS (1985)