Directorios

Enlace: http://dme.uma.pt/jcc/

Descripción: Universidade da Madeira. Departamento de Matemática
«Research Interests: Deontic and action logics, and their application both in legal knowledge representation and in the specification of computer systems and organizations (viewed as normative systems). Combination of various modal logics (temporal, action and believe operators) for the specification and analysis of security protocols. In the past he has been also interested in temporal logics (linear and branching) and their application in the specification of information systems.»