Modal logic extends classical propositional and predicate logic with operators for necessity (□) and possibility (◊). A proposition p is n...

The standard story about how names refer goes something like this. Up until the early 1970s, the dominant view in the analytic tradition was descript...