A modal view of linear logic