Luc Schneider The Ontological Square and its Logic. 36-48 2008 FOIS conf/fois/2008 db/conf/fois/fois2008.html#Schneider08