Logic of Paradise: Arnaud Plagnol Possible worlds, representation and logic of paradise