VINTE

swMATH22814MaRDI QIDQ34603

No author found.

Described by source

• VINTE: an implementation of internal calculi for Lewis' logics of counterfactual reasoning

Related Items (1)

From input/output logics to conditional logics via sequents -- with provers

This page was built for software: VINTE