Points, lines and diamonds: a two-sorted model logic for projective planes - Venema, Yde 1963- (Inst. for Logic, Language and Computation, Univ., 1998)