Bitcoin balances conceptually are not like bank account balances, but more akin to banknotes: uniquely identifiable, good for a specific amount, and can only be spent in full. The "account balance" shown by your wallet is simply the sum of funds that the wallet knows how to spend. In the case of your multisig example, if user1, user2, and user3 each have their own wallet but each wallet keeps tracks of the multisig unspent transaction output (utxo) as its own, they would each see it as part of their balance.
Basically, it's up to the users to decide how to interpret the spendability of their shared funds. The network would enforce that they would only be able to spend the UTXO once in total, though. Alternatively, it's possible that they share one "watch-only" wallet to track the balance, but each hold their own separate key. In that case this shared watch-only wallet would track the balance only once, but they'd each hold their own key independently.
So, concretely, the users' balances after the transaction from user4 would be:
user1, pubkey1, 1.1 BTC
user2, pubkey2, 1.2 BTC
user3, pubkey3, 1.3 BTC
user4, pubkey4, 1.0 BTC
{user1,user2,user3}, 2-of-{pk1,pk2,pk3}, 0.4 BTC
Where the last UTXO is controlled by the multi-party address as described and has different spending properties than the individual balances of the the users.