这里所说的法院裁决的程序，不是指在协议解除的程序和行使解除权的程序中当事人诉请法院来解除合同，而是指在适用情事变更原则解除合同时，由法院裁决合同解除的程序。由于适用情事变更原则解除合同，当事人无解除行为，只是由法院根据案件的具体情况和情事变更原则的法律要件加以裁决。因此，对这种类型的合同解除只能适用法院裁决的程序。

《民法典》

第五百三十三条【情势变更】合同成立后，合同的基础条件发生了当事人在订立合同时无法预见的、不属于商业风险的重大变化，继续履行合同对于当事人一方明显不公平的，受不利影响的当事人可以与对方重新协商;在合理期限内协商不成的，当事人可以请求人民法院或者仲裁机构变更或者解除合同。

人民法院或者仲裁机构应当结合案件的实际情况，根据公平原则变更或者解除合同。

单方行使解除权的程序

解除权，是指合同当事人可以解除合同的权利，它的行使能发生合同解除的法律后果。解除权具有以下性质：一是解除权属于形成权。合同解除仅凭解除权人单方的解除合同的意思表示即可，不需要对方当事人的同意。二是解除权属于不可分性权利。首先，合同关系的当事人一方为数人时，解除权应由该数人行使或向该数人行使。这在学说上被称为解除权的不可分性。因为，如果解除不是对全体合同当事人一律生效，法律关系将会复杂化。其次，解除权消灭不可分，解除权就当事人中之一人消灭时，就他人亦消灭。

在解除权的类型上，根据前文对合同解除的分类，从解除权发生原因角度，可以将解除权分为法定解除权和约定解除权。所谓法定解除权，是指由法律规定而发生的解除权，即法律在一定情况下赋予当事人解除合同的权利。由于合同的法定解除分为一般法定解除和特别法定解除，因此，法定解除权可以分一般法定解除权和特别法定解除权。前者对各种合同都能适用的，后者则是对某类或某种合同适用的。所谓约定解除权，指由合同双方当事人的约定而发生的解除权，即当事人约定在一定情况下可以解除合同的权利。约定解除权的产生是基于双方当事人的约定，而不是单方所能决定。上述两类解除权在同一当事人间可以并存，当事人也可以约定变更或排除法定解除权。

行使解除权的程序必须以当事人享有解除权为前提。由于解除权的性质属于形成权，故其不需要对方当事人的同意，只需要解除权人单方的意思表示，就可以发生合同解除的效力。应注意：

第一，解除的意思表示无须以诉讼的方式为必要，但并非不能以诉讼的方式行使。如果解除权人以诉讼的方式行使解除权，合同应自起诉状的副本送到被告时解除，而非法院作出判决时解除。

第二，对方当事人对于解除合同有异议的，虽可请求人民法院或仲裁机构确认解除合同的效力，但人民法院或者仲裁机构认为解除合同的意思表示有效的，解除的效力仍于此项意思表示达到对方时即已发生，而非自判决确定时发生；如果人民法院或仲裁机构认为解除合同的意思表示无效的，则应认为合同从未解除。

第三，行使解除权的意思表示通常仅允许撤回，不允许撤销；行使解除权的意思表示可以附停止条件或始期，但通常不允许附解除条件或终期。

第四，解除权人主张解除合同，应当通知对方。合同自通知到达对方时解除。对方有异议的，可以请求人民法院或者仲裁机构确认合同的效力。法律、行政法规规定解除合同办理批准、登记手续的，依照其规定。对此，我国《民法典》第565条作出了明文规定。