Linguistics, logic and finite trees by P. Blackburn