É possível usar uma lógica modal para compreender o conceito de mundo em Martin Heidegger?

A multiplicidade de noções de mundo:

Fiquemos apenas no conceito de mundo enquanto entes como um todo. Depois pensemos no ser do
mundo, mundo em geral, ser com o mundo, interior do mundo, mundidade, intramundano, etc.
Diante dessa multiplicidade faz-se mister estabelecer uma lógica, que não seja formal, isto é, a
lógica modal é útil para trabalhar com mundos existentes ou possíveis porque possibilita aumentar
as potencialidades do pensamento.

"1.O mundo não é mais equivalente aos entes como um todo,

2. embora deva haver um mundo para que haja entes como um todo:

3. poderia haver entes sem um mundo, mas não entes como um todo".

Diante de tal afirmação: “O mundo é transcendente aos entes, no mundo pode haver totalidade, nos
entes não”. Por que?

Parece que aqui Heidegger está confuso entre ser e ente. Por um lado, ele afirma que precisaMe
parece que não há entes como um todo

incorreta aonde? Mundo do Ser. Ser, no mundo, Ser com o mundo, não é o mesmo que totalidade
dos entes. O ser do ente é um modo, não um mundo.