Antony Galton

• Formal Ontology in Information Systems
• Logic for information technology
• Qualitative Spatial Change (Spatial Information Systems)
• Temporal logics and their applications
• Qualitative spatial change
• The logic of aspect