Logo Universidade da 
Madeira
 Home  |  Short Biography Research interests |   Publications  |  Teaching |

Research Interests

Last Revised: June 2001

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.