VINTE

swMATH22814MaRDI QIDQ34603FDOQ34603

Author name not available (Why is that?)

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