We present four classical theories of counterpossibles that combine modalities and counterfactuals. Two theories are anti-vacuist and forbid vacuously true counterfactuals, two are quasi-vacuist and allow counterfactuals to be vacuously true when their antecedent is not only impossible, but also inconceivable. The theories vary on how they restrict the interaction of modalities and counterfactuals. We provide a logical cartography with precise acceptable boundaries, illustrating to what extent nonvacuism about counterpossibles can be reconciled with classical logic.

中文翻译：

---

经典的可能性

我们提出了四种结合了模态和反事实的反可能性的经典理论。两种理论是反虚无主义的，禁止虚无真实的反事实，两种理论是准虚无主义的，当它们的先行词不仅不可能，而且不可思议时，它们允许反事实虚无真实。这些理论在它们如何限制模态和反事实的相互作用方面有所不同。我们提供了一个具有精确可接受边界的逻辑制图，说明关于反可能性的非真空主义在多大程度上可以与经典逻辑相协调。