Remiel

Modal logic axioms in the form of assertions about cats.

Generally accepted modal logic axioms:

It’s necessary I hate cats if and only if it isn’t possible I don’t hate cats.

It’s possible I hate cats if and only if it isn’t necessary I don’t hate cats.

It’s necessary that I hate cats and cats suck if and only if it’s necessary I hate cats and it’s necessary cats suck.

If it’s necessary I hate cats and/or it’s necessary cats suck, then it’s necessary I hate cats and/or cats suck.

If it’s necessary that (if I hate cats, then cats suck), then (if it’s necessary I hate cats, then it’s necessary that cats suck).

Controversial modal logic axioms:

If it’s necessary I hate cats, then I hate cats.

If it’s necessary I hate cats, then it’s necessary that it’s necessary I hate cats.

If it’s possible I hate cats, then it’s necessary that it’s possible I hate cats.

If I hate cats, then it’s necessary that it’s possible I hate cats.