[FOM] Translation of QML to (infinitary) propositional modql logic
aletheia93 at gmail.com
Wed Jun 3 18:22:35 EDT 2015
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.
Sent from my iPad
More information about the FOM