Combining Modal Logics for Dynamic and Multi-agent Systems.

  • Reynolds, Mark (Chief Investigator)
  • Governatori, G (Chief Investigator)
  • Orgun, M (Chief Investigator)
  • Sattar, A. (Chief Investigator)
    StatusFinished
    Effective start/end date1/01/0431/12/08

    Funding

    • Sundry Grants