tuCLEVER

swMATH41947MaRDI QIDQ5972893FDOQ5972893

Author name not available (Why is that?)

Described by source

• Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning

This page was built for software: tuCLEVER