Extensionality of Spatial Observations in Distributed Systems,
Hugo Vieira (UNL, Lisbon)

We target the discussion on the intensionality/extensionality character of spatial observations, as the ones used in spatial logics, by making an extensionality claim considering distributed settings where structural features are relevant observables. We show that spatial observations, that precisely capture the relevant structural observables, can have an extensional role as they are used and required to characterize standard observational equivalences.