One more
Yet another paper on counterpart-theoretic semantics: Generalising Kripke Semantics for Quantified Modal Logics. This one is a bit more technical than the others. I use a broadly counterpart-theoretic model theory to construct completeness proofs for very basic quantified modal logics, such as the combination of positive free logic and K. I also play around with adding an object-language substitution operator. There are some unfinished sections at the end, but since I haven't been working on this since January, I thought I might as well upload the current version. All the proofs are spelled out in detail, which makes the whole thing ridiculously long.
I'm not much of a logician, so I'd be very interested to hear if this looks like it is worth pursuing any further.
I for one hope you continue. Lots of interesting facts in it. I'm looking forward to the section on two-dimensional logics.