Apparently, this user prefers to keep an air of mystery about them.
6 Prove that $\Diamond\Box p \rightarrow \Diamond (\Box (p\land q) \lor \Box(p\land\neg q))$ does not define a first-order condition on frames Dec 28 '12
6 Proof of $\triangledown(\top,\top)$ in modal logic Jun 16 '13
5 A Logic for Digital Circuits Jul 5 '11
4 Modal theorems valid in a set theory model Dec 7 '12