Quantified Modal Logic

[SnO2WMaN]

@JoseBalado mentioned me about currently there's no formalization in FFL of quantified modal logic (QML). I don't know much about wide area of QML, nor technically issues. and provability logical perspective, for my best known, it's not successful quantified provability logic lacks some good properties holded in propositional case. anyway, if you interest, try to (at least for me, i don't spare time now).

[JoseBalado]

Hi @SnO2WMaN, thanks for your reply. Quantified Modal Logic is a really interesting project, but at the moment I'm just going through the basics of Hilbert-style deduction systems and Modal System K.

After finishing with them, I could try to implement some basic Quantified Modal System chosen from the available options. But I'm afraid I'll need some help, and it's not going to be any time soon. Still have a lot to learn!