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

Maciej aletheia93 at gmail.com
Wed Jun 3 18:22:35 EDT 2015

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

Sent from my iPad

More information about the FOM mailing list