Stefano Borgo Quantificational Modal Logic with Sequential Kripke Semantics. 137-188 2005 15 Journal of Applied Non-Classical Logics 2 db/journals/jancl/jancl15.html#Borgo05