[finite-model-theory] Logic, Spatial Algorithms and Visual Reasoning / Logics in Fungal