Montague logic and its extensions