Skip to content

An expressive two-sorted spatial logic for plane projective geometry.

Philippe Balbiani

VenueBAiML
Year2006
ProceedingsAdvances in Modal Logic

Browse the full AiML paper archive.