]> BibSonomy publications for/author/Sandewall/logic San Francisco, California{KR}'94: Principles of Knowledge Representation and Reasoning51--62{S}patial {R}easoning with {P}ropositional {L}ogics19941994 intuitionistic logic propositional-logic qualitative-reasoning rcc spatial 2007-05-25 14:01:27.0