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

REALISM

<_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.