Doxastic logic is a form of modal logic that deals with subjective beliefs. For instance, your first statement could be formalized as "secured (Apache) $\to\exists$ SSL module", and then the subjectivized version "Some people believe that an SSL module is needed for Apache to be secured" might be "$\exists p:B_p$(secured (Apache) $\to\exists$ SSL module), where $B_p$ is the operator for the beliefs of person $p$.