spatial logic online