Technical Report TR-ARP-9-95
Automated Reasoning Project
Research School of Information Sciences and Engineering and Centre for Information Science Research
Australian National University
May 26, 1995
RELEVANT ENTAILMENT AND MODAL
<_author_search_(greg restall)>Greg Restall
Abstract In this note I show how an account of relevant entailment can be uncovered from the metaphysics of Modal Realism. This result is quite surprising, as it was previously thought that for modal realism, propositions must be sets of possible worlds, and hence, necessarily equivalent propositions must be identified.