Research

  • Logics of information change

  • Logics for strategic reasoning

  • Logics for the design of attack trees