Combining Modal Logics for Dynamic and Multi-agent Systems.

  • Reynolds, Mark (Chief Investigator)
  • Governatori, G. (Chief Investigator)
  • Orgun, M (Chief Investigator)
  • Sattar, Abdul (Chief Investigator)

    Project Details

    StatusFinished
    Effective start/end date1/01/04 → 31/12/08

    Funding

    • Sundry Grants