أرسل هذا في رسالة قصيرة: Internal proof calculi for modal logics with separating conjunction