Modal logic with descriptions | lit.salon