Possible Worlds Semantics for Indicative and Counterfactual Conditionals?: A Formal Philosophical Inquiry into Chellas-Segerberg Semantics (Logos)