Philippe Balbiani Luis Fariñas del Cerro Tinko Tinchev Dimiter Vakarelov Modal Logics for Incidence Geometries. 59-78 1997 7 J. Log. Comput. 1 db/journals/logcom/logcom7.html#BalbianiCTV97