Formulas of basic modal logic involving only $\top$, $\bot$, propositional connectives and modalities

logic modal-logic

Solution 1:

Hint: Continuing your approach, at what world(s) is $\square\square\bot$ true? What about $\square\square\square\bot$?

Now can you take Boolean combinations of these formulas and the one you found to isolate the individual worlds?

Related

Is it possible that $L$ is not totally ramified over $K$?
Mixed nash equilibrium equilibrium $2\times4$ players
A question about the standard euclidean group $\mathbb{SE}(3)$
Can I find $|A \cap B \cap C|$ if I know $|A|$, $|B|$, $|C|$, $|A \cap B|$, $|A \cap C|$, and $|B \cap C|$?
Integrating $\frac{dy}{dx} = a^{-x^2}$ [duplicate]
Reflect a point without matrix math
Derived Limits vs Limits in the Derived Category
Manipulation of Infinite Series Example
What is the T-SQL To grant read and write access to tables in a database in SQL Server?
How to enable ARC for a single file
Determine what is being dragged from dragenter & dragover events
How do I find out which gem has a specific dependency?