Details of Grant 

EPSRC Reference:	GR/T08210/01
Title:	Visiting Fellowship in Computational Logic
Principal Investigator:	Schmidt, Dr RA
Other Investigators:	van der Hoek, Professor W Hustadt, Dr U Wolter, Professor F
Researcher Co-Investigators:
Project Partners:
Department:	Computer Science
Organisation:	University of Manchester, The
Scheme:	Standard Research (Pre-FEC)
Starts:	20 August 2004	Ends:	19 November 2004	Value (£):	6,150
EPSRC Research Topic Classifications:	Fundamentals of Computing
EPSRC Industrial Sector Classifications:	Information Technologies
Related Grants:
Panel History:
Summary on Grant Application Form
This case for support request funding to support a visit by Prof Valentin Goranko and Mr Willem Conradie (partially) from Rand Afrikaans University, Johannesburg, to the University of Manchester and the University of Liverpool. Prof Goranko is a foremost expert in modal and temporal logics, who has worked in these areas for nearly 20 years and has more than 40 research publications in international journals, conference proceedings and research books.The proposed visit aims (i) to analyse and improve the state-of-art in second-order quantifier elimination and, in particular, its application to correspondence theory in non-standard modal logics including agent logics, and (ii) to analyse the relative expressive power and interreducibility of modal agent logics and study systematic ways to build agent formalisms. The visit will bring together the expertise of Prof Goranko's group on the mathematical theory of modal logics, with the expertise of Manchester and Liverpool in automated reasoning, decidability theory, agent logics, and combination and transfer theory.Modal logics, in various guises, are at the heart of some of the most exciting developments in Computer Science. In the guise of description logics they form an important part of the development of the Semantic Web, while in the guise of agent logics they are at the forefront of the development of formal methods for multi-agent systems. The work undertaken during this visit will make significant contributions in these areas.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk Summary Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:
Further Information:
Organisation Website:	http://www.man.ac.uk