On the multi dimensional modal logic of substitutions

Tarek Sayed Ahmed, Mohammad Assem

We prove completeness, interpolation, decidability and an omitting types theorem for certain multi dimensional modal logics where the states are not abstract entities but have an i…