I have a question about predicate logic and modal logic.
Namely, do any of them overlap with one another? To give an example, does existential quantification apply to counterfactual statements?
A counterfactual statement can be something like "A possible world where I won the lottery." I wouldn't be able to assign an existential quantifier in the same manner that I could to a statement in this world, because that statement simply does not obtain or isn't instantiated in this world contrary to a possible world where I did indeed win the lottery.