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