This book stems from the desire to systematize and put down on paper essential historical facts a...

P A spatial logic is a formal language interpreted over any class of structures featuring geomet...

This book constitutes the revised selected papers of the 20th Symposium and Summer School on Serv...