PP-2001-23: Aiello, Marco and van Benthem, Johan (2001) A Modal Walk Through Space. [Report]
PP-1999-24: Aiello, Marco and van Benthem, Johan (1999) Logical Patterns in Space. [Report]