VINTE

MaRDI QIDQ34603swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-319-66902-1_9

Described by source

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

Cited in

(4)

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

This page was built for software: VINTE