VINTE

swMATH22814MaRDI QIDQ34603FDOQ34603

Author name not available (Why is that?)

Described by source

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

Cited In (1)

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

This page was built for software: VINTE