Преобразовать в класическую логику

[nbyte]

Здравствуйте.
Помогите понять, как
преобразовать следующую формулу в формулу классической логики
$\diamondsuit \diamondsuit p$
я бы решил-бы так, но скорей всего не правильно
используя
$\diamondsuit A = \neg \Box \neg A$
и
$\Box A \to A$
тогда
$\diamondsuit \diamondsuit p$
$\diamondsuit \neg \Box \neg p$
$\Box p$
ответ
$p$