A hybrid logic for reasoning about knowledge and topology

From MaRDI portal
Publication:1006488