[FOM] Translation of QML to (infinitary) propositional modql logic

[Maciej]

Dear All, 

I would be grateful for any information pertaining to a translatioon of quantified modal logic to propositional modal logic. I have not heard about any such translation. I do guess that a target language should rather be an infinitary modal propositional  language in order to account to the clauses corresponding to quantifiers.  Thank you for any information in advance. 

Best Regards
Maciej 

Sent from my iPad