September 2011
2 posts
Remiel: Modal logic axioms in the form of... →
remiel:
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 …