Running summarizing tools on a new article
Check the paper below, then start its synthesis.
Spatial Reasoning and Modal Logic
Gérard Ligozat
DOI: 10.1002/9781118601457.ch13 (Computer Science)
License: not stated (all rights reserved)
Abstract: This chapter contains sections titled: “The blind men and the elephant” Space and modal logics The modal logic S4 Topological models Translating the RCC-8 predicates An alternative modal translation of RCC-8 Generalized frames Complexity Complements
Published on 13 Feb. 2013