The Logic of Contact Systems