A modal logic for granularity

Project description

The aim is to develop a modal logic for information at different levels of detail and to evaluate this within one or more areas of knowledge representation. For example, two events may occur at different hours on the same day. At a level of detail of days, the two events occur at the same time; at the finer level of detail of hours, the events happen at different times. Given a range a levels of detail, or granularities, a statement may hold at all levels of detail or at some levels of detail. Logics incorporating these two modalities have seen very little investigation, although granularity and scale are very well-known phenomena in many disciplines. Potential areas for evaluation of the logic of granularity include spatial reasoning, where some of the image-processing techniques of mathematical morphology can be seen as variations in level of spatial detail.

Entry requirements

Applications are invited from candidates with a minimum of a UK upper second class honours degree (2:1), and/ or a Master's degree in a relevant subject. We also recognise relevant industrial and academic experience.

How to apply

Formal applications for research degree study should be made online through the university's website. Please state clearly in the research information section of your application, the name of the PhD you wish to apply for is 'A modal logic for granularity' as well as Dr John Stell as your proposed supervisor. In the funding section, please state 'School of Computing Funded Studentships' as your sponsor.

If English is not your first language, you must provide evidence that you meet the University’s minimum English Language requirements.

We welcome scholarship applications from all suitably-qualified candidates, but UK black and minority ethnic (BME) researchers are currently under-represented in our Postgraduate Research community, and we would therefore particularly encourage applications from UK BME candidates.  All scholarships will be awarded on the basis of merit.

If you require any further information please contact the Graduate School Office
e: phd@engineering.leeds.ac.uk, t: +44 (0)113 343 8000.