Towards a Proof Theory of G\"odel Modal Logics

Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic. The calculi are used to establish completeness and complexity results for these fragments

Investigating behavioural and computational approaches for defining imprecise regions

People often communicate with reference to informally agreedplaces, such as “the city centre”. However, views of the spatial extent of such areas may vary, resulting in imprecise regions. We compare perceptions of Sheffield’s City Centre from a street survey to extents derived from various web-based sources. Such automated approaches have advantages of speed, cost and repeatability. We show that footprints from web sources are often in concordance with models derived from more labour-intensive methods. Notable exceptions however were found with sources advertising or selling residential property. Agreement between sources was measured by aggregating them to identify locations of consensus