https://sv.wikipedia.org/wiki/Modallogik?fbclid=IwAR1z8XZpYXjRNEODEv6vlMlOSh6nS9_eV2GQdKdKyONpJWGF-23pCXPXY5I