zbMATH — the first resource for mathematics

Logical patterns in space. Models, simulations, and games. (English) Zbl 1087.03505
Barker-Plummer, Dave (ed.) et al., Words, proofs, and diagrams. Stanford, CA: CSLI Publications (ISBN 1-57586-406-1/pbk; 1-57586-405-3/hbk). CSLI Lecture Notes 141, 5-25 (2002).
Summary: We revive the topological interpretation of modal logic as a general language for roasoning about patterns in space. In particular, we define a bisimulation for topological models that compares different visual scenes. We refine this spatial comparison by introducing Ehrenfeucht-Fraïssé style games. We show how this framework can be extended systematically, in both its ‘logical’ and its ‘geometrical’ strength.
For the entire collection see [Zbl 1076.03002].

03B45 Modal logic (including the logic of norms)
PDF BibTeX Cite