Model theory for modal logic by Bowen