Combining modal logics for dynamic and multi-agent systems

An ARC funded project to run from January 2004 until December 2008.
ARC Discovery Project funding scheme

Sites

Griifith University, University of Queensland, Macquarie University, The University of Western Australia, DSTO

Staff

Chief Investigators: Professor Abdul Sattar, Dr G Governatori, A/Prof Mehmet Orgun, A/Prof Mark Reynolds, Dr C Liu
Research Fellow, Griffith University: Dr Kaile Su
PhD Student Macquarie:
PhD Student, UWA: John McCabe-Dansted

Research Summary

Modern computer software systems are required to operate in complex dynamic environments and to handle functioning of highly sensitive (security and safety-critical) organizations in government and commerce. Typical applications include air-traffic control systems, telecommunication networks, and banking systems. To ensure robustness, computationally predictable behaviour and trustworthiness of these systems, their designs and implementations must be formally well grounded. This is an important but difficult challenge. This project will systematically develop a framework by combining modal-logics to adequately capture and reason about temporal, epistemic and social aspects of dynamic and multi-agent systems. The combined logics would be evaluated on practical applications.

Related Research

New Book on Many-dimensional modal logics

From ARC Funding Announcements

Discovery Projects Funding outcomes 2003 for funding commencing in 2004

http://www.arc.gov.au/pdf/DP2004_Project_details_by_state_inst-Nov.pdf
Page 121

$480,000 over 5 years