Yukio-Pegio Gunji, Masashi Aono and Hideki Higashi
Local Semantics as a Lattice Based on the Partial-all Quantifier
