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.
|
|
|
|