José Carmo - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 23 from 23

2022

Carmo and Jones' logic for contrary-to-duty obligations revisedJosé Carmo, Andrew J. I. Jones. logcom, 32(7):1352-1364, 2022. [doi]

2013

Completeness and decidability results for a logic of contrary-to-duty conditionalsJosé Carmo, Andrew J. I. Jones. logcom, 23(3):585-626, 2013. [doi]

2010

Collective agency, direct action and dynamic operatorsJosé Carmo. igpl, 18(1):66-98, 2010. [doi]

2008

Collective Action, Direct Action and Dynamic OperatorsJosé Carmo. normas 2008: 31-50

2006

Roles, Counts-as and Deontic and Action LogicsJosé Carmo. deon 2006: 1 [doi]

2003

A Role Based Model for the Normative Specification of Organized Collective Agency and Agents InteractionOlga Pacheco, José Carmo. AAMAS, 6(2):145-184, 2003.

2001

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

An Application of Deontic Logic to Information System ConstraintsJosé Carmo, Robert Demolombe, Andrew J. I. Jones. FUIN, 48(2-3):165-181, 2001. [doi]

1997

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

Action Concepts for Describing Organised InteractionFilipe A. A. Santos, Andrew J. I. Jones, José Carmo. hicss 1997: 373-382 [doi]

1996

1995

On Completeness of a Positional Interval Logic with Equality, Overlap and Subinterval RelationsRenwei Li, José Carmo. igpl, 3(5):765-790, 1995. [doi]

1993

Ockhamist Computational Logic: Past-Sensitive Necessitation in CTLAlberto Zanardo, José Carmo. logcom, 3(3):249-268, 1993.

1992

An Interval-Based Modal Logic for System SpecificationRenwei Li, José Carmo. lfcs 1992: 281-292

1991

Formal techniques for systems specification and verificationJosé Carmo, Amílcar Sernadas. is, 16(3):245-272, 1991.

1990

Branching versus Linear Logics Yet AgainJosé Carmo, Amílcar Sernadas. fac, 2(1):24-59, 1990.

1989

Inevitability in Branching TimeJosé Carmo, Amílcar Sernadas. ershov 1989: 41-62

1987

A Temporal Logic Framework for a Layered Approach to Systems Specification and VerificationJosé Carmo, Amílcar Sernadas. tdb 1987: 31-46

1985

The INFOLOG Branching Logic of EventsJosé Carmo. tfais 1985: 158-173

Sign in or sign up to see more results.

runs on WebDSL