Converse Barcan formula

  1. REDIRECTBarcan formula