@article {Shimura:July 2000:0039-3215:237,
	author = "Shimura T.",
	title = "Kripke Incompleteness of Predicate Extensions of the Modal Logics Axiomatized by a Canonical Formula for a Frame with a Nontrivial Cluster",
	journal = "Studia Logica",
	volume = "65",
	year = "July 2000",
	abstract = "<P>We generalize the incompleteness proof of the modal predicate logic Q-S4+ <IMG SRC="/iso-ents/isopub/squ.gif" ALT="squ"><IMG SRC="/iso-ents/isoamsb/diam.gif" ALT="diam">p <IMG SRC="/iso-ents/isotech/sup.gif" ALT="sup"> <IMG SRC="/iso-ents/isoamsb/diam.gif" ALT="diam"><IMG SRC="/iso-ents/isopub/squ.gif" ALT="squ">p + BF described in Hughes-Cresswell [6]. As a corollary, we show that, for every subframe logic Lcontaining S4, Kripke completeness of Q-L+ BF implies the finite embedding property of L.</P>",
	pages = "237-247(11)",
	url = "http://www.ingentaconnect.com/content/klu/stud/2000/00000065/00000002/00268203"
}