  Had they known they were doing modal logic, they would have had the completeness problem for many of the modal propositional systems wrapped up, and some powerful theorems. Mathematically they did this, but it was presented as algebra with no mention of semantics, modal logic, or possible worlds, let alone quantifiers. When I presented my paper at the conference in Finland in 1962, I emphasized the importance of this paper. Tarski was present, and said that he was unable to see any connection with what I was doing!