Maximal/ly

A set, S, of propositional formulae is said to be "maximal consistent"
(or just "maximal") if S is consistent and, for each propositional
formula phi, either phi in S or not-phi in S. But in Goldblatt [1] I
came across "maximally consistent". Wondering if I has misremembered
the jargon I rummaged around and found "maximal" in another Goldblatt
[2] and in Lemmon [3].

I wouldn't mind if somebody told me which is correct. I wouldn't mind
even more if they justified their answer.

Also, while I'm here, am I right in thinking that Lemmon was murdered by
one of his students? Or am I confusing him with Montague?

[1] Goldblatt, "An Abstract Setting for Henkin Proofs" Topoi 3, 1984,
37-41. This with additions is in [4].

[2] Goldblatt, "Metamathematics of Modal Logic, Part I" Reports on
Mathematical Logic 6, 41-78. This (and part II) with minor
modifications is in [4].

[3] Lemmon, "An Introduction to Modal Logic" APQ Monograph Series, 11,
1977.

[4] Goldblatt, "Mathematics of Modality" CSLI Publications, 1993.
--
Remove "antispam" and ".invalid" for e-mail address.
.