Impure Simplicial Complex and Term-Modal Logic with Assignment Operators

Open in new window