解除合同通常属于形成之诉。下面我来详细解释一下：

一、形成之诉的定义与特点

形成之诉，是指原告请求法院变动或消灭一定法律状态（权利义务关系）的诉讼。其特点在于，法院的判决一旦生效，就直接产生法律状态的变动效果。

二、解除合同诉讼的情形分析

1. 属于形成之诉的情形：

   • 当合同双方在合同履行过程中出现法定或约定的解除情形，且对解除权本身无争议时，一方诉请法院判决解除合同。若法院认定其享有解除权并判决解除合同，则该诉讼属于形成之诉。此时，法院判决生效即导致合同解除，双方原本依据合同所享有的权利和承担的义务状态也会发生根本性改变。

2. 不属于形成之诉的情形：

   • 若合同双方虽然对解除权不存在争议，但对合同解除后的诸如违约责任承担、损害赔偿、恢复原状等后续问题产生纠纷而提起诉讼，则该诉讼不属于形成之诉，而可能属于给付之诉或确认之诉。
   • 当合同中对解除有特别约定，或者出现争议较大的问题时，也需要进行更深入的法律分析和判断，以确定诉讼的具体性质。

三、其他相关知识点

• 确认合同无效属于确认之诉：这是与形成之诉不同的一种诉讼类型。在合同纠纷领域，当一方当事人认为合同存在法定无效情形时，向法院提起要求确认合同无效的诉讼，就属于确认之诉范畴。

四、结论总结

综上所述，解除合同的诉讼在大多数情况下属于形成之诉，但并非绝对。具体是否属于形成之诉，还需根据具体的争议焦点和诉讼请求的性质来判断。在判断过程中，应综合考虑合同约定、解除事由、法律规定等因素。

如果你在这方面还有其他问题或疑虑，欢迎随时向我咨询，我会根据你的具体情况提供更详细的法律分析和建议。